Skip to content

Make `persistently_True` a bi-entailment.

Robbert Krebbers requested to merge robbert/persistently_True into master

This is consistent with all the other persistently_X lemmas.

Merge request reports