Theorem Set.pi_mono'

Modification history

2025-08-12 09:21
Mathlib/Data/Set/Prod.lean
feat: gcongr lemma for `Set.pi` (#28222)
Added Set.pi_mono'View on Github →