Are implies statements used only in proofs about the trait, &gt;or are traits given on an implies statement also inherited by &gt;the parent trait?
(an implies statement; inherited; by)
an implies statement
inherited
by