Theorem Monoid.MulEquiv.coprodAssoc_apply_inl_inr

Modification history