Theorem PUnit.gcd_eq

Modification history