Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-28 10:35 879da1cf

View on Github →

fix(algebraic_geometry/presheafedspace): fix lame proofs (#1273)

fix(algebraic_geometry/presheafedspace): fix lame proofs
fix
Update src/algebraic_geometry/presheafed_space.lean Co-Authored-By: Johan Commelin johan@commelin.net

Estimated changes

Modified src/algebraic_geometry/presheafed_space.lean

deleted theorem algebraic_geometry.PresheafedSpace.comp_c

Modified src/algebraic_geometry/stalks.lean