algebra.group.default
source
This file imports all files in this subdirectory except for prod.
import
prod