Theorem Monoid.Coprod.map_id_id

Modification history