P
Initializing...
Purity: upper shriek as a twist of pullback (Theorem 1.2.5 (i)) · Prove2Me