Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-07 10:29 bd524fc1

View on Github →

feat(field_theory/subfield): is_subfield instances (#891)

Estimated changes

Modified src/field_theory/subfield.lean

Modified src/group_theory/submonoid.lean

added theorem image.is_submonoid

Modified src/ring_theory/subring.lean