https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.MoreFoundations.NullHomotopies.html
UniMath.MoreFoundations.NullHomotopies
https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.MoreFoundations.MoreEquivalences.html
UniMath.MoreFoundations.MoreEquivalences