Closed dyunov closed 9 months ago
Linked metaproperties to relation types (where possible), added the subring relations from #50 via local GUI admin tools, exported results to YAML.
Property 68 still shows the old "one-ring" example instead of relation 64, $\Bbb Z[x]$ in $p$-adic integers. Should the priority order be reversed?
Linked metaproperties to relation types (where possible), added the subring relations from #50 via local GUI admin tools, exported results to YAML.