Changeset 1069


Ignore:
Timestamp:
Jul 15, 2011, 12:56:47 PM (9 years ago)
Author:
campbell
Message:

Change odd proof obligation problem back.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/Vector.ma

    r1063 r1069  
    180180  ] (? : S ? = S ?).
    181181  //
    182   lapply (injective_S … K)
     182  destruct
    183183  //
    184184qed.
Note: See TracChangeset for help on using the changeset viewer.