nafur/optiB — Issue #2: Corollary 9.2 hat einen Fehler
Author: ioah86
Created: 2012-02-03 21:54:14+00:00
State: open

es ist bestimmt gemeint deg(v) = deg(w) \forall v,w \in B, und nicht deg(r) = deg(W) ;-)