Theorem Subsemigroup.coe_equivMapOfInjective_apply

Modification history