Mordor OpenTheory Repo

packages   •   recent   •   upload

Package group-mult-1.9

Information

For more details see the package document.

Includes

• group-mult-def-1.9 — Definition of group multiplication
• group-mult-thm-1.5 — Properties of group multiplication
• group-mult-add-1.8 — Group multiplication by repeated addition
• group-mult-sub-1.8 — Group multiplication by repeated subtraction

Included By

• group-1.9 — Parametric theory of groups