Theorem Set.Finset.coe_infsep_of_offDiag_empty

Modification history