Skip to content

Add hereditary metaproperty for almost all properties which are - #1674

Merged
prabau merged 3 commits into
mainfrom
hereditaryallspaces
Mar 20, 2026
Merged

Add hereditary metaproperty for almost all properties which are#1674
prabau merged 3 commits into
mainfrom
hereditaryallspaces

Commits

  1. Commits on Mar 13, 2026

  2. Commits on Mar 19, 2026

  3. Commits on Mar 20, 2026