Theorem Sensitivity.f_matrix

Modification history

2025-07-07 22:34
Archive/Sensitivity.lean
chore: tidy various files (#26883)
Modified Sensitivity.f_matrixView on Github →
2025-06-07 16:11
Archive/Sensitivity.lean
chore: deprime `induction` in `Archive` and `SetTheory` (#25512) …
Modified Sensitivity.f_matrixView on Github →
2023-06-24 09:25
Archive/Sensitivity.lean
feat: port Archive.Sensitivity (#5322)
Added Sensitivity.f_matrixView on Github →