Theorem TopCat.Presheaf.comp_app

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.comp_app View on Github →

2024-01-08 11:01

Mathlib/Topology/Sheaves/Presheaf.lean

chore: improvements to Presheaf simp lemmas (#9542) …

Added TopCat.Presheaf.comp_app View on Github →