mathlib
593013df - feat(algebra/quandle): Bundle `rack.to_envel_group.map` into an equiv (#4978)

Commit

5 years ago

feat(algebra/quandle): Bundle `rack.to_envel_group.map` into an equiv (#4978) This also cleans up some non-terminal simp tactics

Author

eric-wieser

Parents