redundant disjointness statement (Q130233407)
reason for deprecation when a disjointness statement is unnecessary because another broader disjointness statement applies
Language:
other details
description reason for deprecation when a disjointness statement is unnecessary because another broader disjointness statement applies