isNonsingularIf

P157315
predicate

Indicates that something is nonsingular (e.g., invertible or non-degenerate) under a specified condition or set of conditions.

Observed surface forms (1)

Surface form Occurrences
isNonsingularFor 1

Sample triples (2)

Subject Object
Vandermonde matrix all x_i are pairwise distinct
Mordell curve k ≠ 0 via predicate surface "isNonsingularFor"