Skip to content

feat(GroupTheory/GroupAction/DomAct): invariant functions are constant on orbits#41754

Open
SNAPKITTYWEST wants to merge 1 commit into
leanprover-community:masterfrom
SNAPKITTYWEST:feat/domact-invariant-functions
Open

feat(GroupTheory/GroupAction/DomAct): invariant functions are constant on orbits#41754
SNAPKITTYWEST wants to merge 1 commit into
leanprover-community:masterfrom
SNAPKITTYWEST:feat/domact-invariant-functions