Theorem ContDiffMapSupportedIn.continuous_iff_comp_order_le

Modification history

2026-03-07 10:30
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
refactor(Distributions): remove "WithOrder" duplication (#36301) …
Added ContDiffMapSupportedIn.continuous_iff_comp_order_leView on Github →