Theorem PNat.gcd_b_eq

Modification history