Theorem MonoidHom.fst_comp_prod

Modification history