Skip to content

Prove `Laterable (∃ x, Φ x)`.

Robbert Krebbers requested to merge robbert/exist_laterable into master

The title says it all.

Merge request reports