Theorem LatticeHom.withBot_id

Modification history