Skip to Content
axiom of choice
  1. valfrumsenda, valfrumsetning, frumsenda um val, frumsetning um val
    -> multiplicative axiom