Structure CancelDenoms.CancelResult

Modification history

2024-02-10 01:29
Mathlib/Tactic/CancelDenoms/Core.lean
chore(Tactic/CancelDenoms/Core): Qq-ify (#9422) …
Added CancelDenoms.CancelResultView on Github →