Commit 2023-09-14 10:14 31ea6454

View on Github →

feat: exists_unique_iff_card_one (#7067) Adds a theorem

Estimated changes