Theorem eq_int_cast

Modification history

2023-01-06 13:41

Mathlib/Data/Int/Cast/Lemmas.lean

chore: rename some 'int_cast' to 'intCast' (#1337)

Deleted eq_int_cast View on Github →

2022-12-14 12:30

Mathlib/Data/Int/Cast/Lemmas.lean

feat: port Data.Int.Cast.Lemmas (#995) …

Added eq_int_cast View on Github →