Theorem Invertible.cong

Modification history

2023-01-14 05:03

Mathlib/Algebra/Invertible.lean

fix: sorries in Tactic.NormNum.Core (#1564)

Deleted Invertible.cong View on Github →

2023-01-14 01:39

Mathlib/Algebra/Invertible.lean

feat: `Rat`-dependent `norm_num` functionality (#1441) …

Added Invertible.cong View on Github →