Typo in Truncation.lagda

Andreas Abelrequested to merge
andreasabel-master-patch-63650 into master

Of course not all predicates are identical under prop-ext, only the extensionally equal ones.

Merge request reports