# Commit 2020-03-14 17:09 7b2be40f

View on Github →refactor(data/equiv/algebra): split (#2147)

- refactor(data/equiv/algebra): split
I want to use
`≃*`

without importing`ring`

. - Update src/data/equiv/ring.lean

refactor(data/equiv/algebra): split (#2147)

- refactor(data/equiv/algebra): split
I want to use
`≃*`

without importing`ring`

. - Update src/data/equiv/ring.lean