Theorem ContinuousMap.induction_on_of_compact

Modification history

2024-10-20 13:19
Mathlib/Topology/ContinuousMap/StoneWeierstrass.lean
feat: induction principles for ContinuousMap via Stone-Weierstrass (#17831) …
Added ContinuousMap.induction_on_of_compactView on Github →