Skip to content

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

Open
crei wants to merge 1 commit into
leanprover:mainfrom
crei:relates_in_steps_bounded
Open

feat(Data): Results about RelatesInSteps with bounds on the reachable set#779
crei wants to merge 1 commit into
leanprover:mainfrom
crei:relates_in_steps_bounded

Commits

Commits on Aug 6, 2026