Theorem cross_anticomm

Modification history