Revision #3556 → #4077 · back to history
addedLie algebracc98c063cc87
addedRotation group SO(3)2a37a021fd79
addedSmoothness of group multiplication8227cde9461a
addedComplex general linear group GL(n,C)242173c8aa6e
addedVector field as derivation43c348606428