Theorem abs_unit_intCast

Modification history

2025-08-14 03:55
Mathlib/Algebra/Order/Ring/Abs.lean
chore(Algebra/Order): generalize (#28227) …
Modified abs_unit_intCastView on Github →
2024-11-22 10:42
Mathlib/Algebra/Order/Ring/Abs.lean
feat: `Matrix.abs_det_submatrix_equiv_equiv` (#19332)
Added abs_unit_intCastView on Github →