Theorem Plausible.InjectiveFunction.List.applyId_cons

Modification history