Theorem mul_inf₀

Modification history

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