Contact Privacy DMCA

Robuta
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.MultiSortedMonadConstruction_alt.html UniMath.SubstitutionSystems.MultiSortedMonadConstruction_alt alt https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.MultiSortedMonadConstruction_coind_actegorical.html UniMath.SubstitutionSystems.MultiSortedMonadConstruction_coind_actegorical https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.SubstitutionSystems.SimplifiedHSS.MultiSortedMonadConstruction_alt.html UniMath.SubstitutionSystems.SimplifiedHSS.MultiSortedMonadConstruction_alt alt