mathlib
86b298f2 - feat(category_theory/sites): grothendieck topologies (#4577)

Commit

5 years ago

feat(category_theory/sites): grothendieck topologies (#4577)

References

#4925 - Make prime-avoidance branch build

Author

b-mehta

b-mehta

Parents

Loading