Add the universal property of identity systems to the overview tables#789

Merged

EgbertRijke merged 1 commit intoUniMath:masterfrom EgbertRijke:table-identity-types

Sep 19, 2023

Commits on Sep 19, 2023

add the universal property of identity systems to the tables
EgbertRijke
committed