Release for PR 12760 (645422aac63fa15837126882630024b6c411ff02)

feat(Std.Do): add ExceptConds.and_elim_left/right

Add general projection lemmas for ExceptConds conjunction, and
refactor and_true/true_and/and_false/false_and as corollaries.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Release for PR 12760

feat(Std.Do): add ExceptConds.and_elim_left/right

Add general projection lemmas for ExceptConds conjunction, and
refactor and_true/true_and/and_false/false_and as corollaries.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Release for PR 12759 (88224daf501ebd7d21a41e008cec3743dc17c747)

pr-release-12759-88224da

refactor: replace `isImplicitReducible` with `Meta.isInstance` in `sh…

Release for PR 12759

pr-release-12759

refactor: replace `isImplicitReducible` with `Meta.isInstance` in `sh…

Release for PR 12757 (00d98115bd9a9359113882b58d33039914f2d6d5)

pr-release-12757-00d9811

chore: workaround

Release for PR 12757

pr-release-12757

chore: workaround

Release for PR 12700 (a584f8857c0b949af0463e94edda0e2873c4100a)

fix: unset project(LEAN) version variables that shadow cache

project(LEAN CXX C) implicitly creates empty LEAN_VERSION_{MAJOR,MINOR,PATCH}
normal variables (CMake sets <PROJECT>_VERSION_* for the project name). These
shadow the CACHE STRING values, making ${VAR} resolve to empty instead of
falling through to the cache. unset() them after the cache declarations.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Release for PR 12700

fix: unset project(LEAN) version variables that shadow cache

project(LEAN CXX C) implicitly creates empty LEAN_VERSION_{MAJOR,MINOR,PATCH}
normal variables (CMake sets <PROJECT>_VERSION_* for the project name). These
shadow the CACHE STRING values, making ${VAR} resolve to empty instead of
falling through to the cache. unset() them after the cache declarations.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Release for PR 12433 (29b369716c53793ed1417b07e0809108ff538629)

pr-release-12433-29b3697

chore: polish

Release for PR 12433

pr-release-12433

chore: polish