Skip to content

yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq #692

yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq

yay Fintype.decidableExistsFintype; nay List.instDecidableMemOfLawfulBEq #692