E> is duplicated for errors and exercises #4
Description
In the LeanPub notes: "E> for errors, I> for information, Q> for questions, D> for discussions, and E> for exercises"
{{ message }}
In the LeanPub notes: "E> for errors, I> for information, Q> for questions, D> for discussions, and E> for exercises"