Def Relation.Join

Modification history

2022-11-22 07:59

Mathlib/Logic/Relation.lean

feat: add `fun x ↦ t` syntax (#617)

Modified Relation.Join View on Github →

2022-11-16 23:18

Mathlib/Logic/Relation.lean

feat: port Logic.Relation (#565) …

Added Relation.Join View on Github →