Theorem PNat.XgcdType.step_wf

Modification history