Theorem Int.multiplicity_natAbs

Modification history