Theorem cross_anticomm'

Modification history