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) …
Modified category_theory.limits.types.pi_map_π_applyView on Github →