Theorem Commute.lie_eq

Modification history