Theorem le_multiplicity_iff_replicate_subperm_factors

Modification history