# Commit 2022-04-10 01:48 3fe5c932

View on Github →feat(algebra/ring/boolean_ring): Turning a Boolean algebra into a Boolean ring (#6476)
Define `as_boolring`

, a type synonym to turn a Boolean algebra into a Boolean ring and show that `as_boolring`

and `as_boolalg`

are "inverse" to each other.