Theorem PNat.XgcdType.rq_eq

Modification history