digitalnet v0.4.0 (2015-06-21T13:09:55Z)

hasDimensionF2

digitalnet axiom

Test if S has a dimension (over F_2) parameter.

enum hasDimensionF2 (
S
)

Meta

Source

See Implementation

digitalnet axiom enums

Page generated by adrdox