Add more examples of functors to witness property combinations#306

ScriptRaccoon wants to merge 12 commits into

mainScriptRaccoon/CatDat:mainfrom

torsion-free-inclusionScriptRaccoon/CatDat:torsion-free-inclusionCopy head branch name to clipboard