Theorem Sensitivity.Q.adj_iff_proj_eq

Modification history

2023-06-24 09:25
Archive/Sensitivity.lean
feat: port Archive.Sensitivity (#5322)
Added Sensitivity.Q.adj_iff_proj_eqView on Github →