3 ms·

I don't think synthetic homotopy type theory is known to cover all of conventional homotopy theory, so it's work in progress.