Commit 2024-10-16 05:50 b3db14fd
View on Github →feat(CategoryTheory/Sites): infima of pretopologies (#17734) Defines a complete lattice structure on pretopologies with good definitional properties for bottom, top and infima.
feat(CategoryTheory/Sites): infima of pretopologies (#17734) Defines a complete lattice structure on pretopologies with good definitional properties for bottom, top and infima.