Theorem cross_apply

Modification history