Better names for MoufangIdentity #2

Open

Assignees

Labels

help wantedquestion

opened

Find better names for MoufangIdentity ?

Agda-Algebra/src/Loop/Definitions.agda

Line 19 in 48c7408

MoufangIdentity₁ : Op₂ A → Set _

Metadata

Assignees

JacquesCarette

Labels

help wantedquestion

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests