Theorem div_add_div_same

Modification history

2024-09-23 08:50

Mathlib/Algebra/Field/Basic.lean

chore(*): Use non-greek variable names here and there (#17035) …

Modified div_add_div_same View on Github →

2022-12-14 09:49

Mathlib/Algebra/Field/Basic.lean

feat port Algebra.Field.Basic (#975) …

Added div_add_div_same View on Github →