Theorem lt_emultiplicity_of_lt_multiplicity

Modification history