P
Initializing...
Vacuum condition within the EF family: Ricci-flat certificate iff β = 0 · Prove2Me