[Refractor] contradiction over ⊥-elim inData/List/Fresh/Membership/Setoid/Properties
#2668
The logs for this run have expired and are no longer available.
Loading