Def Sensitivity.Q

Modification history

2026-03-23 03:22

Archive/Sensitivity.lean

chore: use abbrev in Archive/Sensitivity (#37011) …

Deleted Sensitivity.Q View on Github →

2023-06-24 09:25

Archive/Sensitivity.lean

feat: port Archive.Sensitivity (#5322)

Added Sensitivity.Q View on Github →