Theorem LieModule.ext_of_isFaithful

Modification history