Theorem DvdNotUnit.isUnit_of_irreducible_right

Modification history