1 commit

Author	SHA1	Message	Date
Wojciech Różowski	f459c1436e	feat: upstream unusedDecidableInType linter (#13688) ... This PR upstreams `unusedDecidableInType` linter from mathlib. Stacked on top of #11313. --------- Co-authored-by: thorimur <thomasmurrills@gmail.com> Co-authored-by: thorimur <68410468+thorimur@users.noreply.github.com>	2026-05-14 11:56:22 +00:00