Changeset 2547 for src/joint/Joint.ma

Timestamp:
Dec 7, 2012, 8:37:51 PM (8 years ago)
Author:
tranquil
Message:

going on in proof of linearise
simplified by use of monadic functional relations

(No files)

Note: See TracChangeset for help on using the changeset viewer.