Library UniMath.SyntheticHomotopyTheory.All