Theorem localization.lin_coe_apply
Modification history
2020-06-04 15:38
src/ring_theory/localization.lean
feat(ring/localization): add construction of localization as a quotient type (#2922)
Deleted localization.lin_coe_applyView on Github →2020-05-27 18:57
src/ring_theory/localization.lean
feat(src/ring_theory): in a PID, all fractional ideals are invertible (#2826) …
Added localization.lin_coe_applyView on Github →