Theorem Setoid.sInf_iff

Modification history

2024-10-18 13:37
Mathlib/Data/Setoid/Basic.lean
chore: do not use `· ≈ ·` in `Quotient.eq` (#17594) …
Added Setoid.sInf_iffView on Github →