Theorem algebraic_geometry.PresheafedSpace.ext
Modification history
2020-06-30 04:15
src/algebraic_geometry/presheafed_space.lean
feat(category_theory): remove nearly all universe annotations (#3221) …
Modified algebraic_geometry.PresheafedSpace.extView on Github →