Theorem Monoid.MulEquiv.coprodAssoc_symm_apply_inr_inr

Modification history