Theorem Configuration.ofField.crossProduct_eq_zero_of_dotProduct_eq_zero

Modification history