mathlib
99acfda0 - feat(category_theory/sites): pretopology (#4648)

Commit

5 years ago

feat(category_theory/sites): pretopology (#4648) Adds pretopologies.

References

#4925 - Make prime-avoidance branch build

Author

b-mehta

b-mehta

Parents

Loading