Skip to content

CayleyDickson: some cleanups, remove funext#1801

Merged
Alizter merged 2 commits intoHoTT:masterfrom Alizter:ps/branch/cayleydickson__some_cleanups__remove_funextJan 9, 2024

Commits

Commits on Jan 8, 2024