Def empty_relation

Modification history

2022-10-24 02:02

Mathlib/Init/Logic.lean

feat: align `init.{core, logic}` (#490) …

Deleted empty_relation View on Github →

2022-08-24 11:42

Mathlib/Init/Logic.lean

feat: port 'section relation' in Init/Logic (#379) …

Added empty_relation View on Github →