WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Classification of finite simple groups
Revision #1082 → #2534 ·
back to history
modified
Classification of 2-transitive permutation groups
ebb7babc8ea3
Field
From #1082
To #2534
mathlib.decl
IsMultiplyPretransitive
MulAction.IsMultiplyPretransitive
provenance
ai
ai-moderated