Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_subfield.div_mem

Modification history

2021-08-01 17:17
src/deprecated/subfield.lean
chore(deprecated/*): Make deprecated classes into structures (#8178) …
Modified is_subfield.div_memView on Github →
2021-03-26 08:06
src/deprecated/subfield.lean
refactor(algebra/field): allow custom `div` (#6874)
Added is_subfield.div_memView on Github →