mathlib
4494001d - feat(field_theory/subfield): subfields are fields (#888)

Commit

6 years ago

feat(field_theory/subfield): subfields are fields (#888) * feat(field_theory/subfield): subfield are fields * Update subfield.lean

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents