Theorem Int.cast_four

Modification history

2024-04-07 02:48

Mathlib/Data/Int/Cast/Basic.lean

chore(Data/Int/Cast): fix confusion between `OfNat` and `Nat.cast` lemmas (#11861) …

Modified Int.cast_four View on Github →

2022-11-23 03:12

Mathlib/Data/Int/Cast/Basic.lean

feat: port Data.Int.Cast.Basic (#670) …

Added Int.cast_four View on Github →