mathlib4
The math library of Lean 4
- ATK
- 5569
- DEF
- 6210
Uncommon
leanprover-community/mathlib4
Uncommon · Base · GenesisThe math library of Lean 4
Attack5,569
Defense6,210
Drag the card to turn it. Use the flip button to see the back.
Open card page