Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submodule.image2_subset_map₂

Modification history