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_transitiveView on Github →