mathlib
d8f6dc46 - feat(src/tactic/explode): improve printing of references

Commit

6 years ago

feat(src/tactic/explode): improve printing of references

Author

minchaowu

minchaowu

Committer

robertylewis

robertylewis

Parents

Loading