Commit 2023-11-03 16:13 7d18b6d9

View on Github →

chore: bump dependencies (#8149)

Estimated changes

Modified Mathlib/Logic/Basic.lean

deleted theorem or_iff_not_imp_left

deleted theorem or_iff_not_imp_right

Modified lake-manifest.json