isNontrivialCoverWhen

P179086 predicate

Indicates that one entity serves as a cover of another in a way that is not trivial, meaning the covering relationship is proper and carries substantive structural or contextual significance.

Sample triples (1)

Subject Object
metaplectic group dimension of underlying symplectic space is at least 2