Theorem Set.range_one

Modification history

2024-06-06 04:20
Mathlib/Algebra/Group/Pi/Lemmas.lean
feat: obtain a non-unital continuous functional calculus from a unital one (#13541) …
Added Set.range_oneView on Github →