mathlib
0b069ecd - use the more stable `tactic.list_binary_operands`
Commit
View On GitHub
Commit
3 years ago
use the more stable `tactic.list_binary_operands`
Author
adomani adomani
Parents
3799d5b9
FAQ Terms Privacy Refunds Impressum
Loading