feat: port all missing theorems in BI/DerivedLaws.lean and BI/DerivedLawsLater.lean - #539
Merged
markusdemedeiros merged 30 commits intoJul 28, 2026
Merged
Commits
Commits on Jul 26, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed