P
Initializing...
A primitive for last-slot normal cocycles under finite path tests · Prove2Me