Theorem CategoryTheory.eval_map

Modification history

2023-06-07 06:36
Mathlib/CategoryTheory/Sites/Types.lean
feat: port CategoryTheory.Sites.Types (#4776)
Added CategoryTheory.eval_mapView on Github →