Theorem Submonoid.coe_val_mul_coe_inv_val

Modification history