trijoin_id_sym is natural; export more from HSpace/Core#1786

Merged

jdchristensen merged 3 commits intoHoTT:masterfrom jdchristensen:join-id-sym

Oct 19, 2023

+76-35

Commits on Oct 18, 2023

Join: reverse naming of triangle_v/h and triangle_v/h'
jdchristensen
committed
Join: define trijoin_id_sym and prove that it is natural
jdchristensen
committed
HSpace/Core: Export a few more things from canonical_names
jdchristensen
committed