Theorem min_inv_inv_le

Modification history

2026-04-14 10:54
Mathlib/Algebra/Order/Group/MinMax.lean
feat(RingTheory): Order of vanishing in a discrete valuation ring (#29550) …
Added min_inv_inv_leView on Github →