Commit 2025-05-02 12:26 63324b65

View on Github →

feat(Span/Basic): add Submodule.mapsTo_span (#24462) with an alias Set.MapsTo.submoduleSpan.

Estimated changes

added theorem Submodule.mapsTo_span