Previous Page Next Page Contents

Ax::normalRep -- the axiom of normal representation

Introduction

Ax::normalRep states that an abelian monoid has a canonically representation of its zero element.

Generating the axiom

Ax::normalRep()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000