Theorem EqvGen.mono

Modification history

2024-09-02 17:50

Mathlib/Logic/Relation.lean

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

Deleted EqvGen.mono View on Github →

2022-11-16 23:18

Mathlib/Logic/Relation.lean

feat: port Logic.Relation (#565) …

Added EqvGen.mono View on Github →