basic): golf (#12965)

Commit

3 years ago

chore(analysis/analytic/basic): golf (#12965) Golf a 1-line proof, drop an unneeded assumption.

Author

urkud

Parents