Def CancelDenoms.findCompLemma
Modification history
2024-04-17 06:35
Mathlib/Tactic/CancelDenoms/Core.lean
fix: mdata in cancel_denoms (#12083) …
Modified CancelDenoms.findCompLemmaView on Github →2023-09-08 09:40
Mathlib/Tactic/CancelDenoms.lean
chore: split Tactic.NormNum.Basic (#7002) …
Modified CancelDenoms.findCompLemmaView on Github →