Theorem Int.cast_div

Modification history

2024-03-23 16:05
Mathlib/Data/Int/Cast/Field.lean
chore: Rename `mul`-`div` cancellation lemmas (#11530) …
Modified Int.cast_divView on Github →
2023-03-18 11:56
Mathlib/Data/Int/Cast/Field.lean
chore: forward-port leanprover-community/mathlib#18598 (#2928)
Modified Int.cast_divView on Github →
2022-12-14 15:48
Mathlib/Data/Int/Cast/Field.lean
feat port: Data.Int.Cast.Field (#1016) …
Added Int.cast_divView on Github →