mathlib
8c9074f8 - chore(*): Remove tactic.unfreeze_local_instances (#11507)

Commit

4 years ago

chore(*): Remove tactic.unfreeze_local_instances (#11507) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

huynhtrankhanh

Parents