Theorem Submonoid.coe_equivMapOfInjective_apply

Modification history