(Q3893614)

English

definable real number

real number uniquely specified by description

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit