Theorem Invertible.congr

Modification history

2023-09-06 11:21

Mathlib/Algebra/Invertible.lean

chore: split Mathlib.Algebra.Invertible (#6973) …

Modified Invertible.congr View on Github →

2023-01-14 05:03

Mathlib/Algebra/Invertible.lean

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

Added Invertible.congr View on Github →