mathlib
6fc35175 - feat(category_theory/sites): generate lemmas (#4840)

Commit

5 years ago

feat(category_theory/sites): generate lemmas (#4840) A couple of simple lemmas about the sieve generated by certain presieves.

References

Author

b-mehta

Parents