Theorem multiplicity_sub_of_gt

Modification history