Theorem Qq.QuotedDefEq.rfl

Modification history

2024-07-15 16:11
Mathlib/Util/Qq.lean
chore(Tactic/NormNum): remove autoImplicit (#14725) …
Modified Qq.QuotedDefEq.rflView on Github →
2024-07-13 12:38
Mathlib/Util/Qq.lean
chore: remove autoImplicit in Util (#14694) …
Modified Qq.QuotedDefEq.rflView on Github →
2023-07-19 08:39
Mathlib/Util/Qq.lean
chore: bump quote4 (#5975)
Added Qq.QuotedDefEq.rflView on Github →