3 ms·
It seems to be ignoring β-reduction for one. But an ordered set is fundamentally different than an unordered set as well!
by VirusNewbie 3y ago
It seems to be ignoring
β-reduction for one.
But an ordered set is fundamentally different than an unordered set as well!