Theorem Orientation.inner_mul_inner_add_areaForm_mul_areaForm

Modification history