tree 65ed148d30068382ab3c54b7b53cb2ad143c2236
parent 7e2a7a61fc15e0af4d877e124b4700e77637cc7a
author SeanVer <77425230+SeanVer@users.noreply.github.com> 1643487149 +0800
committer GitHub <noreply@github.com> 1643487149 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJh9Z+tCRBK7hj4Ov3rIwAAyD0IAESL/YqlyxOG7BBz/lvpSRbt
 EI0pe3kwYIsWzgm43ld/Pxw2E3jk1VigkRugIK8fw1HtLRQKLEjJ4GmKAEfLe2wC
 /krjqzvquC/SZX0g+1QJXyU1gTtGvQiI1ViJTw5P7bbGClJs79UwNSSUAzfBQtHp
 VkNVcUomHWPodPnk8CY4AoMhMAZFs3dO52Rmh6QV37v1V7HkCiK0erOIC6z69T4d
 qN+oLcqNHkCrRGNChajyNpSd4FuGkSLdFxYXSzdOou7j4izRFfj9RxBwAALPOsD8
 kflkK0GV+ZjlLtTmbtrvcF+1k5pnoDFZfYF45B9peZ1/ZvWjW183ZmCR9K5Gfxs=
 =XfpV
 -----END PGP SIGNATURE-----
 

extra lemma proof and redundant proof procedure deletion (#5)

Signed-off-by: Cao Shuang <caoshuang.cs@antfin.com>
Co-authored-by: 小狈 <caoshuang.cs@antgroup.com>