Theorem Set.offDiag_singleton

Modification history