Invariance under any derivation with partial divided Leibniz condition powers is transitive

From Groupprops
Jump to: navigation, search