Commit 2022-10-04 21:21 e36ae183
View on Github →feat(data/set/prod): set.off_diag
(#16803)
Define the off-diagonal of a set, which is the set of pairs of points whose components are distinct.
feat(data/set/prod): set.off_diag
(#16803)
Define the off-diagonal of a set, which is the set of pairs of points whose components are distinct.