Commit 2024-06-26 16:30 7cf04c3d

View on Github →

chore(Logic/Basic): drop 3 long-deprecated theorems (#14157)

Estimated changes

deleted theorem or_of_or_of_imp_left
deleted theorem or_of_or_of_imp_of_imp
deleted theorem or_of_or_of_imp_right