Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.FintypeCat.Action.isConnected_of_transitive
Modification history
2024-02-09 04:56
Mathlib/CategoryTheory/Galois/Examples.lean
chore(CategoryTheory/Galois): fix spelling and rename connected objects (#10363) …
Added
CategoryTheory.FintypeCat.Action.isConnected_of_transitive
View on Github →