Commit 2024-05-01 23:24 2c1517a8
View on Github →chore(SimpleGraph/Regularity): Don't use Classical
(#12575)
The classical decidability instances were found in theorem statements, making them harder to use.
chore(SimpleGraph/Regularity): Don't use Classical
(#12575)
The classical decidability instances were found in theorem statements, making them harder to use.