Theorem LieAlgebra.ad_apply

Modification history