Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
subfield.not_mem_of_not_mem_closure
Modification history
2021-10-08 12:12
src/field_theory/subfield.lean
feat(*): add not_mem_of_not_mem_closure for anything with subset_closure (#9595) …
Added
subfield.not_mem_of_not_mem_closure
View on Github →