Changeset 1598 for src/ASM/Vector.ma


Ignore:
Timestamp:
Dec 12, 2011, 5:53:36 PM (8 years ago)
Author:
mulligan
Message:

changes over the last couple of days

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Vector.ma

    r1524 r1598  
    274274  λv: Vector A n.
    275275  λq: Vector B n.
    276     zip_with A B (A × B) n (pair A B) v q.
     276    zip_with A B (A × B) n (mk_Prod A B) v q.
    277277
    278278(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= *)
Note: See TracChangeset for help on using the changeset viewer.