Def type_eq_of_heq

Modification history

2021-08-11 18:47

Mathlib/Logic/Basic.lean

update lean to nightly-2021-08-11 (#32)

Deleted type_eq_of_heq View on Github →

2021-05-09 22:49

Mathlib/Logic/Basic.lean

feat(Logic/Basic): import init.logic

Added type_eq_of_heq View on Github →