Theorem dot_self_cross

Modification history