src/math_sets

Theme:

Index

Search:

Group by:

Imports
Exports

Source Edit

main entry for all functions

Imports

math_sets/types, math_sets/literals, math_sets/prefix, math_sets/infix, math_sets/quotient_set, math_sets/power_set

Exports

initRelation, bracketLiteralToSet, initSet, Set, toSet, Pair, Relation, asSet, bracketLiteralToSet, initRelation, initSet, Set, dom, Pair, toSet, ran, Relation, fld, ⊕, bracketLiteralToSet, initRelation, initSet, ∩, Set, Pair, toSet, ×, ∪, Relation, /, bracketLiteralToSet, initRelation, initSet, [], Set, Pair, toSet, Relation, P