chore(algebra/pempty_instances): freeze file (#17579)
chore(algebra/pempty_instances): freeze file (#17579)

Corresponding mathlib4 PR [#615](https://github.com/leanprover-community/mathlib4/pull/615).





leanprover-community/mathlib,leanprover-community/mathlib