Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subring.center.coe_inv

Modification history

2021-09-03 22:57
src/ring_theory/subring.lean
feat(ring_theory/subring): field structure on centers of a division_ring (#8472) …
Added subring.center.coe_invView on Github →