Structure Unique

Modification history

2024-11-04 00:48

MathlibTest/Inhabit.lean

chore: make tests into a library (#18304)

Deleted Unique View on Github →

2022-11-03 02:45

Mathlib/Logic/Unique.lean

feat: port Logic.Unique (#512)

Added Unique View on Github →