Theorem PNat.XgcdType.step_v

Modification history