☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
order-p-q
0.1.0
Lean formalisation of the classification of the groups of order `p * q` where `p` and `q` are prime numbers.
#math
Displaying
1-1
of
1
versions of
order-p-q
Sort by
Date
0.1
Version track: 0.1
0.1.0
6 months ago
Released on January 17, 2025 at 8:11:58PM
Commit 9a814a2 builds on its old leanprover/lean4:v4.15.0
v4.15.0
959.9 KB
Build archive size: 959871 bytes.
1
20