Theorem OrderMonoidHom.fst_comp_inl

Modification history