Theorem Set.Finset.coe_infsep_of_offDiag_nonempty

Modification history