Skip to content

Prove internal_eq_timeless

We wondered, I thought a bit, then the proof was much easier than expected. Maybe belongs to the appendix as well.

The set of constraints is a bit unwieldy so I wasn't sure how to phrase it, but they all hold for uPred.

Merge request reports