Theorem cross_self

Modification history