aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/SubstantialRelation.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-03Substantial relation kernel objectMarcos Magueta1-0/+147
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-05 07:36:47 +0000