Theorem Set.toFinset_off_diag

Modification history