Theorem OrderHomClass.coe_to_lattice_hom

Modification history