Commit 2023-10-18 09:57 5cff8ebe

View on Github →

chore: bump Std dependency (#7724)

Estimated changes

deleted theorem exists_const
deleted theorem forall_apply_eq_imp_iff
deleted theorem forall_eq_apply_imp_iff
deleted theorem not_exists_not
deleted theorem not_forall