P
Initializing...
{β : Conf} (h : β ≠ 0) : 1 ≤ confNumber β · Prove2Me