Mathbox global choice changes - #5494

Open

BTernaryTau wants to merge 17 commits into

metamath:developfrom

BTernaryTau:gblac

Commits on Sep 18, 2026

Prove f1preimaex
BTernaryTau
committed
0aa3e32
Prove vonf1onprcf1ac
BTernaryTau
committed
d9f84a5
Move fnwe2
BTernaryTau
committed
55bce3c
Prove werankwe
BTernaryTau
committed
687f981
Prove rncardr1prc
BTernaryTau
committed
6e39ecb
Prove jaeqifi
BTernaryTau
committed
93884b5
Prove soinfdom
BTernaryTau
committed
d410637
Prove weexenwe
BTernaryTau
committed
147b7a8
Prove infinfnum
BTernaryTau
committed
30778ae
Prove acwer1prclem
BTernaryTau
committed
ada2174
Prove acwer1prc
BTernaryTau
committed
b056fe5
Prove abweex
BTernaryTau
committed
1e8ce99
Prove onprcf1acwevdlem1
BTernaryTau
committed
122cdfc
Prove onprcf1acwevdlem2
BTernaryTau
committed
569e736
Prove onprcf1acwevd
BTernaryTau
committed
5e1dc2e

Commits on Sep 19, 2026

Update changes-set.txt
BTernaryTau
committed
9bf0da7
Desc edits
BTernaryTau
committed
6f4ef75