Theorem Plausible.InjectiveFunction.List.applyId_eq_self

Modification history