Theorem Submonoid.coe_mul_self_eq

Modification history