Theorem cross_cross

Modification history