Theorem MonoidHom.coe_fst

Modification history