Theorem Qq.QE.rfl

Modification history

2023-07-19 08:39

Mathlib/Util/Qq.lean

chore: bump quote4 (#5975)

Deleted Qq.QE.rfl View on Github →

2023-07-09 00:37

Mathlib/Util/Qq.lean

fix: norm_num extension for Nat.pow (#5740) …

Added Qq.QE.rfl View on Github →