Theorem Units.divp_add_divp_same

Modification history

2022-11-27 04:26
Mathlib/Algebra/Ring/Units.lean
feat(Algebra/Ring/Units): port file (#746) …
Added Units.divp_add_divp_sameView on Github →