Theorem Submodule.map_iSup_comap_of_surjective

Modification history

2025-07-08 17:55
Mathlib/Algebra/Module/Submodule/Map.lean
chore: fix a few typos in lemma names (#26904) …
Added Submodule.map_iSup_comap_of_surjectiveView on Github →