disjoint union (Q842620)

From Wikidata
Jump to: navigation, search
modified union operation that indexes the elements according to which set they originated in
  • discriminated union
edit
Language Label Description Also known as
English
disjoint union
modified union operation that indexes the elements according to which set they originated in
  • discriminated union

Statements

0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit