Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-28 13:06 a1b695af

View on Github →

feat(algbera/lie/submodule): add simp lemmas lie_submodule.map_sup, lie_ideal.map_sup (#7384)

Estimated changes

added theorem lie_ideal.map_sup
modified def lie_submodule.comap
modified theorem lie_submodule.gc_map_comap
modified def lie_submodule.map
added theorem lie_submodule.map_sup
modified theorem lie_submodule.mem_map