Theorem Set.offDiag_subset_prod

Modification history