Skip to content

[ltree] More supporting theorems for rose trees#1389

Merged
mn200 merged 1 commit intoHOL-Theorem-Prover:developfrom binghe:ltree_enrichJan 28, 2025

Commits

Commits on Jan 23, 2025