mathlib3
cf222d2b - Changed encodek to decode_encode and removed superfluous parentheses

Commit

5 years ago

Changed encodek to decode_encode and removed superfluous parentheses

Author

pimsp

pimsp

Parents

Loading