Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_ring.map

Modification history

2020-11-17 15:27
test/transport/basic.lean
refactor(algebra/lie/basic): unbundle the action in `lie_module` (#4959)
Deleted lie_ring.mapView on Github →
2020-04-18 15:15
test/transport/basic.lean
feat(tactic/transport): transport structures across equivalences (#2251) …
Added lie_ring.mapView on Github →