equiv): add missing lemmas (#14903)

Commit

3 years ago

feat(data/sigma,data/ulift,logic/equiv): add missing lemmas (#14903) Add lemmas and `equiv`s about `plift`, `psigma`, and `pprod`.

Author

urkud

Parents