Theorem add_halves

Modification history

2024-07-16 12:01

Mathlib/Algebra/CharZero/Lemmas.lean

chore: unify `add_halves` and `add_halves'` (#14790) …

Modified add_halves View on Github →

2022-12-19 23:36

Mathlib/Algebra/Order/Field/Basic.lean

feat: port Algebra.Order.Field.Basic (#1065)

Added add_halves View on Github →