Theorem Plausible.InjectiveFunction.applyId_mem_iff

Modification history