Commit 2020-11-12 08:28 593013df
View on Github →feat(algebra/quandle): Bundle rack.to_envel_group.map into an equiv (#4978)
This also cleans up some non-terminal simp tactics
feat(algebra/quandle): Bundle rack.to_envel_group.map into an equiv (#4978)
This also cleans up some non-terminal simp tactics