Theorem Sensitivity.g_apply

Modification history

2026-01-08 15:08

Archive/Sensitivity.lean

chore(Archive,Counterexamples): find whitespace (#33759) …

Modified Sensitivity.g_apply View on Github →

2023-06-24 09:25

Archive/Sensitivity.lean

feat: port Archive.Sensitivity (#5322)

Added Sensitivity.g_apply View on Github →