Theorem LatticeHom.coe_comp_inf_hom

Modification history