Theorem Monoid.MulEquiv.coprodAssoc_apply_inl_inl

Modification history