mathlib
d6ffc1ad - feat(tactic/clear_value): preserve order and naming (#3700)

Commit

5 years ago

feat(tactic/clear_value): preserve order and naming (#3700)

Author

cipher1024

cipher1024

Parents

Loading