mathlib3

24ec27d1 - Merge branch 'AD_refactor_shell_seminorms' into AD_seminorm_equicontinuity