Theorem Set.offDiag_inter

Modification history