Ascent++
Search
Assertion list
for term "well-ordered".
Results from
Ascent++
:
3
set
→
HasProperty
→
well-ordered
0.50
universe
→
HasProperty
→
well-ordered
0.35
magnetic field
→
HasProperty
→
well-ordered
0.33