Mathlib v3 is deprecated. Go to Mathlib v4

Theorem units.inv_mk

Modification history

2021-01-05 20:33
src/algebra/group/units.lean
fix(algebra/group/prod): fixes for #5563 (#5577) …
Added units.inv_mkView on Github →