__PMAP_TITLE_

Conjectures

Show resolved

Lean-verified only

Derived proofs

Conjecture arrows Conjectures only Unpublished only Isolated principles

Choose a principle’s positive or negative form, then move it to background.