fix(algebraic_geometry/presheafedspace): fix lame proofs #1273
mergify
merged
5 commits into
master
from
fix-presheafed-space-proofs
fix(algebraic_geometry/presheafedspace): fix lame proofs
7cdc1155
Merge branch 'master' into fix-presheafed-space-proofs
b33b4b85
fix
ac16339b
jcommelin
commented
on 2019-07-28
Update src/algebraic_geometry/presheafed_space.lean
8b2dec75
Merge branch 'master' into fix-presheafed-space-proofs
62a7ed79
jcommelin
approved these changes
on 2019-07-28
PatrickMassot
commented
on 2019-07-28
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub