Theorem LieModule.trivial_iff_lower_central_eq_bot

Modification history