Theorem leibniz_cross

Modification history