Theorem Monoid.MulEquiv.coprodAssoc_symm_apply_inl

Modification history