Commit 2024-02-13 19:40 64ceea9d

View on Github →

chore(Data/List/TFAE): add tfae_not_iff (#10479)

Estimated changes

added theorem List.tfae_not_iff