Mathlib v3 is deprecated. Go to Mathlib v4

Def true_setoid

Modification history

2023-01-31 16:05

src/data/quot.lean

feat(data/quot): make `trunc` a `quotient` (#18320) …

Added true_setoid View on Github →