Commit 2023-07-09 10:54 d2aa4e1a

View on Github →

feat: add lemmas about LocalEquiv.pi (#5779)

Estimated changes

added theorem LocalEquiv.pi_refl
added theorem LocalEquiv.pi_symm
added theorem LocalEquiv.pi_trans