Theorem multiplicity.eq_coe_iff

Modification history