Theorem of_irreducible_mul

Modification history