On the Classification of Real Four-Dimensional Lie Groups | Synapse