Theorem OrderHomClass.to_lattice_hom_apply

Modification history