(Q3303153)

English

axiom of dependent choice

weak form of the axiom of choice

  • D C

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit