Theorem FunctorToFintypeCat.naturality

Modification history

2024-09-12 17:39
Mathlib/CategoryTheory/FintypeCat.lean
feat(CategoryTheory/Galois): generalize transitivity to arbitrary universes (#16664) …
Added FunctorToFintypeCat.naturalityView on Github →