Theorem MonoidHom.fst_mono

Modification history