P
Initializing...
Cubical Sperner lemma: a fully labelled small grid simplex exists · Prove2Me