chore: optimize for toggled

Author: yhx-12243

packages/viewer/src/components/Traits/Related.svelte

@@ -110,7 +110,7 @@
             <SourceIcon
               value={trait?.asserted}
               redundant={
-                showRedundancy &&
+                showRedundancy && trait?.asserted &&
                   checkIfRedundant(space, property, $theorems, $traits)
                   .redundant}
               icon="user"