Theorem OrderedFinpartition.norm_applyOrderedFinpartition_le

Modification history

2025-03-13 02:38
Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean
chore: whitespace again (#22878) …
Modified OrderedFinpartition.norm_applyOrderedFinpartition_leView on Github →
2024-12-12 18:27
Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean
feat(FaaDiBruno): add `norm_compAlongOrderedFinpartitionL_le` (#19713)
Added OrderedFinpartition.norm_applyOrderedFinpartition_leView on Github →