345 alternative exists unfolding#346

Open

wdcraft01 wants to merge 8 commits intomasterfrom

345-alternative-exists_unfolding

Commits on Aug 13, 2025

Update Exists().unfold() method, fix related bug(s)
wdcraft01
committed

Commits on Aug 14, 2025

Update Exists().definition() method, fix related bug(s)
wdcraft01
committed
Add two basic theorems to logic/booleans/quantification/existence sub-theory pkg
wdcraft01
committed

Commits on Aug 18, 2025

Establish exists_not_eq_not_forall thm in existence sub-theory pkg
wdcraft01
committed
Augment Exists().unfold() and Exists().definition() methods
wdcraft01
committed

Commits on Aug 22, 2025

Commits on Aug 24, 2025

Update Exists().definition() to use more specific expr preservation approach
wdcraft01
committed