Theorem LieIdeal.ker_incl

Modification history