Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ideal.map_eq_submodule_map

Modification history

2022-10-06 10:46

src/ring_theory/ideal/operations.lean

feat(ring_theory/derivation): Endomorphisms of the Kähler differential module (#15854)

Added ideal.map_eq_submodule_map View on Github →