Mathlib v3 is deprecated. Go to Mathlib v4

Theorem log_mul'

Modification history

2019-08-16 00:19
test/finish4.lean
feat(tactic/finish): parse ematch lemmas with `finish using ...` (#1326) …
Added log_mul'View on Github →