Theorem Real.map_matrix_volume_pi_eq_smul_volume_pi

Modification history