Theorem TopCat.Presheaf.ext

Modification history

2024-06-30 22:15
Mathlib/Topology/Sheaves/Presheaf.lean
chore(Topology): remove all but one use of autoImplicit (#14298) …
Modified TopCat.Presheaf.extView on Github →
2023-06-19 13:10
Mathlib/Topology/Sheaves/Presheaf.lean
chore: add @[ext] lemmas for NatTrans synonyms (#5228)
Added TopCat.Presheaf.extView on Github →