Def smoothPresheafRing

Modification history

2026-09-04 11:59
Mathlib/Geometry/Manifold/Sheaf/Smooth.lean
chore(CategoryTheory): use the new `↧` notation in concrete categories (#41811) …
Modified smoothPresheafRingView on Github →
2023-10-09 13:35
Mathlib/Geometry/Manifold/Sheaf/Smooth.lean
feat: structure sheaf of a manifold (#7332) …
Added smoothPresheafRingView on Github →