Def bounded_lattice_hom_class.to_biheyting_hom_class

Modification history