Def bounded_lattice_hom.to_bot_hom

Modification history