Theorem CancelDenoms.pow_subst

Modification history

2026-03-06 20:54
Mathlib/Tactic/CancelDenoms/Core.lean
chore(Tactic/CancelDenoms/Core): namespace in `Mathlib.Tactic` (#36177) …
Deleted CancelDenoms.pow_substView on Github →
2023-10-21 19:10
Mathlib/Tactic/CancelDenoms/Core.lean
feat: Handle powers and multiplicative inverses in cancel_denoms (#7819) …
Added CancelDenoms.pow_substView on Github →