slightly increase detail in order to get properties (and statements)#11
Merged
combinatorist merged 1 commit intomainfrom Sep 17, 2025
Merged
slightly increase detail in order to get properties (and statements)#11combinatorist merged 1 commit intomainfrom
combinatorist merged 1 commit intomainfrom