iwasawa.lean): put some universal quantifiers into hypotheses

Commit

4 years ago

style(src/group_theory/iwasawa.lean): put some universal quantifiers into hypotheses

References

Author

Antoine Chambert-Loir

Committer

Antoine Chambert-Loir

Parents