Commit 2025-08-12 09:21 1d8b4b66

View on Github →

feat: gcongr lemma for Set.pi (#28222)

Estimated changes

added theorem Set.pi_mono'
modified theorem Set.pi_mono