mathlib3

4ca1e634 - chore(*): fix errors in library and sanity_check (#1499)

chore(*): fix errors in library and sanity_check (#1499) * chore(*): some cleanup by sanity_check * fix(is_auto_generated): also check for ginductives * fix(sanity_check): imp_intro is sanity_skip * fix(sanity_check): don't report names of instances * first errors * second errors * doc(logic/basic): add note * add link to note * mention letI