Better way of writing `Proper` premises in fin sets (!493) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/better_proper into master 1 year ago

Status	Pipeline	Stages
Passed 00:05:51 1 year ago	CHANGELOG. #86845 493 2b50c3dd	Stage: build	Download artifacts No artifacts found
Canceled 00:01:13 1 year ago	CHANGELOG. #86844 493 5b97ef36	Stage: build	Download artifacts No artifacts found
Canceled 00:00:32 1 year ago	CHANGELOG. #86843 493 7ab1f172	Stage: build	Download artifacts No artifacts found
Passed 00:04:29 1 year ago	Use `Proper (.. => impl)` instead of `Proper (.. => iff)` and `∀ x, Proper ..` instead of `Proper ((=) ==> ..)`. #86767 493 1f6c9330	Stage: build	Download artifacts No artifacts found
Canceled 00:04:23 1 year ago	Use `Proper (.. => impl)` instead of `Proper (.. => iff)` and `∀ x, Proper ..` instead of `Proper ((=) ==> ..)`. #86764 493 bce811c2	Stage: build	Download artifacts No artifacts found

Better way of writing `Proper` premises in fin sets