Theorem Sensitivity.f_squared

Modification history

2024-08-26 10:46
Archive/Sensitivity.lean
chore: tidy various files (#16132)
Modified Sensitivity.f_squaredView on Github →
2023-06-24 09:25
Archive/Sensitivity.lean
feat: port Archive.Sensitivity (#5322)
Added Sensitivity.f_squaredView on Github →