Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.compatible_preserving_of_flat

Modification history

2022-01-06 10:39
src/category_theory/sites/cover_preserving.lean
feat(category_theory/sites): The pushforward pullback adjunction (#11273)
Added category_theory.compatible_preserving_of_flatView on Github →