SecTheory.BasicProofs# SecTheory.BasicProofs.py Copyright (c) 2022, SAXS Team, KEK-PF numerical_inversion_proof(**kwargs)# roud_trip(in_folder=None)# simple_pdf(t, npi, tpi)#