Theorem irreducible_mul_units

Modification history