hargoniX opened this issue a year ago · 0 comments
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Print.20all.20instances.20on.20a.20type/near/400303054