Theorem FintypeCat.uSwitch_map_uSwitch_map

Modification history

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