Structure EckmannHilton.IsUnital

Modification history

2024-02-02 04:48

Mathlib/GroupTheory/EckmannHilton.lean

chore: move to v4.6.0-rc1, merging adaptations from bump/v4.6.0 (#10176)

Modified EckmannHilton.IsUnital View on Github →

2022-11-23 19:23

Mathlib/GroupTheory/EckmannHilton.lean

feat: port Algebra.GroupTheory.EckmannHilton (#626) …

Added EckmannHilton.IsUnital View on Github →