mathlib3

9743dab7 - Merge branch 'AD_refactor_shell_seminorms' into AD_seminorm_equicontinuity