Skip to content

feat(Data): Results about RelatesInSteps with bounds on the reachable set - #779

Merged
fmontesi merged 24 commits into
leanprover:mainfrom
crei:relates_in_steps_bounded
Aug 27, 2026
Merged

feat(Data): Results about RelatesInSteps with bounds on the reachable set#779
fmontesi merged 24 commits into
leanprover:mainfrom
crei:relates_in_steps_bounded

Update Cslib/Foundations/Data/List/IsChainFromTo.lean

da3cec4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Aug 27, 2026 in 5m 6s