Theorem PadicInt.mkUnits_eq

Modification history