Theorem LieDerivation.IsKilling.ad_mem_orthogonal_of_mem_orthogonal

Modification history