Skip to content

Subdivision_of now SubProp of part_of#3320

Open
dosumis wants to merge 2 commits intomasterfrom subdivision_of_subPropOf_part_of

Commits

Commits on Jul 26, 2024