Theorem jacobi_cross

Modification history