Theorem inf_mul₀

Modification history

2025-06-11 15:07
Mathlib/Algebra/Order/GroupWithZero/Unbundled/OrderIso.lean
chore(RingTheory/DedekindDomain): missing instances (#25613)
Added inf_mul₀View on Github →