Namespace AnnulusSlope 1 theorems
- Abel summation identity for depth-weighted slope drops
AnnulusSlope.sum_sum_mul_slopeDrop_smul_add_sum_slope_smul_eq_zero0 below · cited by 4 · depth 15
AnnulusSlope 1 theoremsAnnulusSlope.sum_sum_mul_slopeDrop_smul_add_sum_slope_smul_eq_zero 0 below · cited by 4 · depth 15