Def CategoryTheory.eval

Modification history

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