Theorem LatticeHom.withBot_comp

Modification history