Theorem OrderMonoidHom.fstₗ_comp_inlₗ

Modification history