Theorem ValuationSubring.mem_nonunits_iff_or

Modification history

2025-12-15 10:15
Mathlib/RingTheory/Valuation/ValuationSubring.lean
feat(Algebra): prerequisites for #31919 (#32118) …
Added ValuationSubring.mem_nonunits_iff_orView on Github →