Theorem Setoid.sSup_def

Modification history

2024-09-02 17:50

Mathlib/Data/Setoid/Basic.lean

chore: move `Init.Data.Quot` to `Logic.Relation` (#16378)

Modified Setoid.sSup_def View on Github →

2023-05-14 07:05

Mathlib/Data/Setoid/Basic.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added Setoid.sSup_def View on Github →