https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.SimplifiedHSS.MLTT79.html
UniMath.SubstitutionSystems.SimplifiedHSS.MLTT79
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.SimplifiedHSS.PCF_alt.html
UniMath.SubstitutionSystems.SimplifiedHSS.PCF_alt
pcfalt
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.SimplifiedHSS.MultiSortedMonadConstruction_alt.html
UniMath.SubstitutionSystems.SimplifiedHSS.MultiSortedMonadConstruction_alt
alt
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.SimplifiedHSS.CCS_alt.html
UniMath.SubstitutionSystems.SimplifiedHSS.CCS_alt
ccsalt
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.SimplifiedHSS.LiftingInitial_alt.html
UniMath.SubstitutionSystems.SimplifiedHSS.LiftingInitial_alt
alt