Theorem existsUnique_congr

Modification history

2024-09-11 03:54

Mathlib/Init/Logic.lean

chore: move `ExistsUnique`, `Xor'` out of `Init.Logic` (#16691) …

Modified existsUnique_congr View on Github →

2024-06-26 12:43

Mathlib/Init/Logic.lean

chore: Rename `Equiv.forall_congr` lemmas (#13725) …

Added existsUnique_congr View on Github →