Theorem RingEquiv.map_eq_neg_one_iff

Modification history

2023-05-07 09:18
Mathlib/Algebra/Ring/Equiv.lean
chore: forward port leanprover-community/mathlib#18866 (#3813)
Added RingEquiv.map_eq_neg_one_iffView on Github →