Theorem FintypeCat.uSwitchEquiv_naturality

Modification history

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