should restore compilation after merging UniMath PR #1844#154

Merged

rmatthes merged 4 commits intoUniMath:masterfrom rmatthes:restorecompilationafterunimathPR1844

Mar 1, 2024

+9-8

Commits on Feb 7, 2024

Commits on Feb 14, 2024

makes Id_H known from another file
rmatthes
committed