Theorem LieIdeal.topEquiv_apply

Modification history