Add rule: (a >= 2, fin a, a ^ x == b ^ y) -> x = y#1392

Closed

yav wants to merge 2 commits intomasterfrom solver-exponents

+28-4

Commits on Aug 9, 2022

Add rule: (a >= 2, fin a, a ^ x == b ^ y) -> x = y
yav
committed

Commits on Sep 14, 2022

Fix typo in comment, the exponent bases must be the same, of course.
yav
committed