Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submodule.mem_carrier

Modification history

2020-12-01 08:49
src/algebra/module/submodule.lean
feat(algebra/lie/basic): Define lattice structure for `lie_submodule`s (#5146)
Added submodule.mem_carrierView on Github →