正特征下的预Lie代数 | Synapse