Theorem killingForm_eq_zero_of_mem_zeroRoot_mem_posFitting

Modification history