refactor: not_isSuccLimit_iff → not_isSuccLimit_iff_succ_eq#38235
Open
vihdzp wants to merge 5 commits intoleanprover-community:masterfrom
Open
refactor: not_isSuccLimit_iff → not_isSuccLimit_iff_succ_eq#38235vihdzp wants to merge 5 commits intoleanprover-community:masterfrom
not_isSuccLimit_iff → not_isSuccLimit_iff_succ_eq#38235vihdzp wants to merge 5 commits intoleanprover-community:masterfrom
