style(library/logic/eq.lean): remove comment