Lean 4 / Mathlib: dimension subgroups of groups, the D_5 problem (Kourovka 20.84)
Lean Updated 19 days ago 1 commits 1 stars
omega-coder|Mirror: ispacex/group-dimension (⭐1)
19 days agoAbout
Lean 4 / Mathlib: dimension subgroups of groups, the D_5 problem (Kourovka 20.84)
Readme
1 stars
1 forks