Theorem CauSeq.inv_apply

Modification history