Open main menu

Groupprops β

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