mathlib3
74c53f65
- blocks and primitive actions
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
blocks and primitive actions
References
iwasawa_lemma
#10253 - feat(group_theory/iwasawa.lean): add a proof of the Iwasawa criterion for simplicity
Author
Antoine Chambert-Loir
Parents
b804f5d3
Loading