Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_unit_of_mem_maximal_ideal

Modification history

2018-07-17 17:16
ring_theory/ideals.lean
feat(ring_theory/ideals): quotient rings (#196)
Deleted not_unit_of_mem_maximal_idealView on Github →
2018-03-09 15:55
ring_theory/ideals.lean
chore(ring_theory): cleaned up ideals
Modified not_unit_of_mem_maximal_idealView on Github →
2018-03-08 11:25
ring_theory/ideals.lean
feat(ring_theory): move localization
Added not_unit_of_mem_maximal_idealView on Github →