Notion of (in)finite predicates
As discussed in iris!217 (merged)
I have directly taken the opportunity to state set_finite
using the new pred_finite
.
As discussed in iris!217 (merged)
I have directly taken the opportunity to state set_finite
using the new pred_finite
.