Theorem Int.cast_neg_natCast

Modification history

2023-03-18 11:56
Mathlib/Data/Int/Cast/Field.lean
chore: forward-port leanprover-community/mathlib#18598 (#2928)
Modified Int.cast_neg_natCastView on Github →
2022-12-14 15:48
Mathlib/Data/Int/Cast/Field.lean
feat port: Data.Int.Cast.Field (#1016) …
Added Int.cast_neg_natCastView on Github →