Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.limits.types.pi_map_π_apply'

Modification history

2023-07-04 07:03
src/category_theory/limits/shapes/types.lean
chore(topology/sheaves): revert universe generalizations from #19153 (#19230) …
Deleted category_theory.limits.types.pi_map_π_apply'View on Github →
2023-06-04 16:20
src/category_theory/limits/shapes/types.lean
chore(topology/sheaves/*): universe generalizations (#19153) …
Added category_theory.limits.types.pi_map_π_apply'View on Github →