Theorem LatticeHom.withTopWithBot_id

Modification history