Theorem LatticeHom.birkhoffFinset_injective

Modification history