[Refractor] contradiction over ⊥-elim src/Data/Vec/Functional/Properties.agda
#2664
The logs for this run have expired and are no longer available.
Loading