Commit 2024-10-02 17:17 b490daf0

View on Github →

chore: make Submodule.span_mono be gcongr (#17293) From LeanCamCombi

Estimated changes

modified theorem Submodule.span_mono