give a sufficient precondition for theorem-2
[~helmut/bidiragda.git] / Precond.agda
2012-09-08 Helmut Grohnegive a sufficient precondition for theorem-2