Theorem Basis.map_orientation_eq_det_inv_smul

Modification history