← Back to branch summary

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic-proposed

« back to all changes in this revision

Viewing changes to src/Function/Surjection.agda

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2013-05-27 19:29:25 UTC
  • mfrom: (8.1.1 experimental)
  • Revision ID: package-import@ubuntu.com-20130527192925-q2tadfousmn0xeav
Tags: 0.7-2
Upload to unstable 

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Function/Surjection.agda
44
44
    ; left-inverse-of = right-inverse-of
45
45
    }
46
46
 
 
47
  open LeftInverse right-inverse public
 
48
    using () renaming (to-from to from-to)
 
49
 
47
50
  injective : Injective from
48
51
  injective = LeftInverse.injective right-inverse
49
52