Theorem LieModule.isFaithful_iff'

Modification history