Theorem ContinuousMap.induction_on

Modification history

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