Theorem dot_cross_self

Modification history