fix: IndPred: track function's motive in a let binding, use withoutProofIrrelevance, no chaining#4839
Merged
nomeata merged 11 commits intomasterfrom joachim/fix4751-take-twoJul 28, 2024
+92-73
Commits
Commits on Jul 25, 2024
Commits on Jul 26, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 27, 2024
- committed