Theorem AlgEquiv.toLieEquiv_apply

Modification history