Theorem Finset.coe_infsep_of_offDiag_empty

Modification history