Mathlib Changelog
v4
Changelog
About
Github
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_map
View on Github →