Theorem LatticeHom.withBot_apply

Modification history