unique_ov (94B)
1 # Unique OV 2 3 studied in [ball2017average] 4 5 Up: [orthogonal_vectors] 6 7 See also: [unique_k_SAT]