Goal — the Kodaira/Tate 7-brane budget $\sum \operatorname{discOrder} \le 24$ · Prove2Me

P

Initializing...

Goal — the Kodaira/Tate 7-brane budget $\sum \operatorname{discOrder} \le 24$ · Prove2Me