P
Initializing...
{u : FockAlg} {β : Conf} (h : β ∈ u.support) : β.support ⊆ modes u · Prove2Me