Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.FintypeCat.Action.connected_of_transitive
Modification history
2024-02-09 04:56
Mathlib/CategoryTheory/Galois/Examples.lean
chore(CategoryTheory/Galois): fix spelling and rename connected objects (#10363) …
Deleted
CategoryTheory.FintypeCat.Action.connected_of_transitive
View on Github →
2024-02-08 20:07
Mathlib/CategoryTheory/Galois/Examples.lean
feat(CategoryTheory/Galois): characterisation of connected finite `G`-sets (#10228) …
Added
CategoryTheory.FintypeCat.Action.connected_of_transitive
View on Github →