Add some useful advantage properties#83

Open

cmester0 wants to merge 7 commits intomainfrom

advantage-properties

Commits on Nov 6, 2025

Add some useful advantage properties

cmester0
authored and
4ever2
committed
Fixed to main

cmester0
authored and
4ever2
committed
Remove admits and make advantage statements useful

cmester0
authored and
4ever2
committed
Minor fixes

cmester0
authored and
4ever2
committed
Fixes
4ever2
committed
More fixes
4ever2
committed
Adapt to nominal changes
4ever2
committed