Def CategoryTheory.ConnectedComponents.liftFunctor
Modification history
2025-04-30 12:59
Mathlib/CategoryTheory/ConnectedComponents.lean
style: further whitespace fixes (#24467) …
Modified CategoryTheory.ConnectedComponents.liftFunctorView on Github →