composition): remove one `have` (#8083)

Commit

4 years ago

chore(analysis/analytic/composition): remove one `have` (#8083) A `have` in a proof is not necessary.

Author

adomani

Parents