digitalnet ~master (2022-03-21T08:39:12.6331012)

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