Skip to content

Make take_map and restricting ignore empty materialised nodes - #183

Merged
imlvts merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/take-map-restricting-empty-focus
Nov 4, 2026
Merged

Make take_map and restricting ignore empty materialised nodes#183
imlvts merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/take-map-restricting-empty-focus

Make take_map and restricting ignore empty materialised nodes

710ebff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Nov 3, 2026 in 9s