Previous Page Next Page Contents

Ax::canonicalRep -- the axiom of canonically representation

Introduction

Ax::canonicalRep states that domain elements are canonically represented.

Generating the axiom

Ax::canonicalRep()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000