Theorem Relation.TransGen.trans

Modification history

2024-09-03 05:37

Mathlib/Logic/Relation.lean

chore: merge bump/v4.12.0 and move toolchain to v4.12.0-rc1 (#16433)

Deleted Relation.TransGen.trans View on Github →

2022-11-16 23:18

Mathlib/Logic/Relation.lean

feat: port Logic.Relation (#565) …

Added Relation.TransGen.trans View on Github →