Commit 2025-11-28 07:12 6726d3f9

View on Github →

refactor: Change isChain_get_iff* lemmas (#32062) Changes isChain_iff_get lemmas to make them more usable.

Estimated changes

modified theorem List.isChain_reverse