mathlib3
ab8c6bb3 - style(group_theory/iwasawa.lean): add copyright, remove #print

Commit

4 years ago

style(group_theory/iwasawa.lean): add copyright, remove #print

References

#10253 - feat(group_theory/iwasawa.lean): add a proof of the Iwasawa criterion for simplicity

Author

Antoine Chambert-Loir

Committer

Antoine Chambert-Loir

Parents

Loading