Theorem PNat.gcd_det_eq

Modification history