digitalnet ~master (2022-03-21T08:39:12.6331012)
Dub
Repo
hasDimensionR
digitalnet
axiom
Test if S has a dimension (over R) parameter.
enum
hasDimensionR (
S
)
Meta
Source
See Implementation
digitalnet
axiom
enums
hasDimensionF2
hasDimensionR
hasPrecision
isBisectable
isPointSet
Test if S has a dimension (over R) parameter.