Rename Combinator: AdditiveMagma
The function AdditiveMagma is defined as "Magma RENAME {+ := *}". The expanded theory appears in the web browser as:
theory AdditiveMagma
include Empty
constant + : U -> U -> U
It does not have the definition of the carrier.
Edited
by
yasminemmagdi