Managed by dbnvp
The small-font numbers on the top left of the videos indicate the available native resolutions. Click to test.
The four commutative diagrams for $\beta$-calculus.
Example: Computing the virtual trefoil.
The origin of the terms in the swap formula.