Theorem LieDerivation.mem_ad_idealRange_iff

Modification history