misc): do not lint autogenerated proofs for bad universes (#9676)

Commit

4 years ago

lint(tactic/lint/misc): do not lint autogenerated proofs for bad universes (#9676)

Author

jcommelin

Parents