Theorem MonoidWithZeroHom.fst_mono

Modification history