Theorem Set.EqOn.comp_left₂

Modification history

2025-10-17 16:01
Mathlib/Data/Set/Function.lean
feat: add module instance to ContDiffMapSupportedIn (#30198) …
Added Set.EqOn.comp_left₂View on Github →