de arrow theorems
― FormOf ⟶
Weight: 1.0
de arrow theorem (n) Source: German Wiktionary