Def LocallyConstant.congrLeft

Modification history

2023-08-10 11:44
Mathlib/Topology/LocallyConstant/Basic.lean
feat: algebraic versions of LocallyConstant.comap (#6396) …
Added LocallyConstant.congrLeftView on Github →