Theorem map_intCast

Modification history

2024-02-05 18:00

Mathlib/Data/Int/Cast/Lemmas.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified map_intCast View on Github →

2023-01-06 13:41

Mathlib/Data/Int/Cast/Lemmas.lean

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

Added map_intCast View on Github →