aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-09-11substantial relation and schematicsMarcos Magueta1-1/+16
2026-09-11Multigroup objectsEstevan Castilho1-0/+5
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+44