Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cast_eq_iff_heq

Modification history

2021-04-06 05:50
src/logic/basic.lean
feat(logic/girard): Girard's paradox (#7026) …
Added cast_eq_iff_heqView on Github →