mathlib3
06c75afe - feat(topology/sheaves/*): Notation for restriction of sections. (#16088)

Commit
3 years ago
feat(topology/sheaves/*): Notation for restriction of sections. (#16088) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>
Author
Parents
Loading