WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Group action

Revision #3419 → #3926 · back to history

modifiedSimply transitive (regular) action8de4d4600fd9
FieldFrom #3419To #3926
mathlib.moduleMathlib.Algebra.AddTorsor.DefsMathlib.Algebra.Torsor.Defs
addedPrincipal homogeneous space / G-torsorb69b33f21b76
modifiedAffine group on affine space99c7a6f0a9bb
FieldFrom #3419To #3926
mathlib.moduleMathlib.Algebra.AddTorsor.DefsMathlib.Algebra.Torsor.Defs