Theorem ofDual_int_cast

Modification history

2023-01-06 13:41

Mathlib/Data/Int/Cast/Lemmas.lean

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

Deleted ofDual_int_cast View on Github →

2022-12-17 23:54

Mathlib/Data/Int/Cast/Lemmas.lean

chore: tidy various files (#1086)

Added ofDual_int_cast View on Github →