Theorem LieSubalgebra.equivOfLe_apply

Modification history