Theorem Plausible.InjectiveFunction.List.applyId_zip_eq

Modification history