Theorem Sensitivity.f_image_g

Modification history

2026-01-08 15:08
Archive/Sensitivity.lean
chore(Archive,Counterexamples): find whitespace (#33759) …
Modified Sensitivity.f_image_gView on Github →
2023-06-24 09:25
Archive/Sensitivity.lean
feat: port Archive.Sensitivity (#5322)
Added Sensitivity.f_image_gView on Github →