Ascent++
Search
Assertion list
for term "recognized invariant structure".
Results from
Ascent++
:
1
tag
→
HasA
→
recognized invariant structure
0.27