3986987

Properties

Appears in sequences

• Number of theorems in the MIU formal system which can be proved in n steps or fewer starting with the axiom 'mi'.at n=10A331536
• Prime numbersat n=282314