# Question derivations [Previous](https://ocme.evemisslab.com/en/questions/page/49/) Page 50 / 180 [Next](https://ocme.evemisslab.com/en/questions/page/51/) All 36000 derivations have bilingual display, basic symbol and structural checks, and questions 1–36000 all have second-context mathematical and bilingual review; no display/symbol-checked candidates remain. This cohort has 36000 questions. 36000 derivations are published: 36000 mathematically reviewed and 0 display/symbol-checked candidates. 0 are not published here. - [Question 9801: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0051/) · R0018-09801 · Mathematically reviewed - [Question 9802: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0052/) · R0018-09802 · Mathematically reviewed - [Question 9803: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0053/) · R0018-09803 · Mathematically reviewed - [Question 9804: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0054/) · R0018-09804 · Mathematically reviewed - [Question 9805: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0055/) · R0018-09805 · Mathematically reviewed - [Question 9806: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0056/) · R0018-09806 · Mathematically reviewed - [Question 9807: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0057/) · R0018-09807 · Mathematically reviewed - [Question 9808: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0058/) · R0018-09808 · Mathematically reviewed - [Question 9809: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0059/) · R0018-09809 · Mathematically reviewed - [Question 9810: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0060/) · R0018-09810 · Mathematically reviewed - [Question 9811: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0061/) · R0018-09811 · Mathematically reviewed - [Question 9812: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0062/) · R0018-09812 · Mathematically reviewed - [Question 9813: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0063/) · R0018-09813 · Mathematically reviewed - [Question 9814: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0064/) · R0018-09814 · Mathematically reviewed - [Question 9815: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0065/) · R0018-09815 · Mathematically reviewed - [Question 9816: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0066/) · R0018-09816 · Mathematically reviewed - [Question 9817: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0067/) · R0018-09817 · Mathematically reviewed - [Question 9818: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0068/) · R0018-09818 · Mathematically reviewed - [Question 9819: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0069/) · R0018-09819 · Mathematically reviewed - [Question 9820: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0070/) · R0018-09820 · Mathematically reviewed - [Question 9821: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0071/) · R0018-09821 · Mathematically reviewed - [Question 9822: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0072/) · R0018-09822 · Mathematically reviewed - [Question 9823: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0073/) · R0018-09823 · Mathematically reviewed - [Question 9824: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0074/) · R0018-09824 · Mathematically reviewed - [Question 9825: Complete Open, Closed, and Clopen Families](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0075/) · R0018-09825 · Mathematically reviewed - [Question 9826: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0026/) · R0018-09826 · Mathematically reviewed - [Question 9827: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0027/) · R0018-09827 · Mathematically reviewed - [Question 9828: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0028/) · R0018-09828 · Mathematically reviewed - [Question 9829: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0029/) · R0018-09829 · Mathematically reviewed - [Question 9830: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0030/) · R0018-09830 · Mathematically reviewed - [Question 9831: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0031/) · R0018-09831 · Mathematically reviewed - [Question 9832: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0032/) · R0018-09832 · Mathematically reviewed - [Question 9833: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0033/) · R0018-09833 · Mathematically reviewed - [Question 9834: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0034/) · R0018-09834 · Mathematically reviewed - [Question 9835: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0035/) · R0018-09835 · Mathematically reviewed - [Question 9836: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0036/) · R0018-09836 · Mathematically reviewed - [Question 9837: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0037/) · R0018-09837 · Mathematically reviewed - [Question 9838: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0038/) · R0018-09838 · Mathematically reviewed - [Question 9839: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0039/) · R0018-09839 · Mathematically reviewed - [Question 9840: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0040/) · R0018-09840 · Mathematically reviewed - [Question 9841: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0041/) · R0018-09841 · Mathematically reviewed - [Question 9842: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0042/) · R0018-09842 · Mathematically reviewed - [Question 9843: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0043/) · R0018-09843 · Mathematically reviewed - [Question 9844: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0044/) · R0018-09844 · Mathematically reviewed - [Question 9845: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0045/) · R0018-09845 · Mathematically reviewed - [Question 9846: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0046/) · R0018-09846 · Mathematically reviewed - [Question 9847: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0047/) · R0018-09847 · Mathematically reviewed - [Question 9848: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0048/) · R0018-09848 · Mathematically reviewed - [Question 9849: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0049/) · R0018-09849 · Mathematically reviewed - [Question 9850: Relative Complement and Open/Closed Duality](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0050/) · R0018-09850 · Mathematically reviewed - [Question 9851: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0076/) · R0018-09851 · Mathematically reviewed - [Question 9852: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0077/) · R0018-09852 · Mathematically reviewed - [Question 9853: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0078/) · R0018-09853 · Mathematically reviewed - [Question 9854: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0079/) · R0018-09854 · Mathematically reviewed - [Question 9855: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0080/) · R0018-09855 · Mathematically reviewed - [Question 9856: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0081/) · R0018-09856 · Mathematically reviewed - [Question 9857: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0082/) · R0018-09857 · Mathematically reviewed - [Question 9858: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0083/) · R0018-09858 · Mathematically reviewed - [Question 9859: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0084/) · R0018-09859 · Mathematically reviewed - [Question 9860: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0085/) · R0018-09860 · Mathematically reviewed - [Question 9861: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0086/) · R0018-09861 · Mathematically reviewed - [Question 9862: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0087/) · R0018-09862 · Mathematically reviewed - [Question 9863: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0088/) · R0018-09863 · Mathematically reviewed - [Question 9864: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0089/) · R0018-09864 · Mathematically reviewed - [Question 9865: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0090/) · R0018-09865 · Mathematically reviewed - [Question 9866: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0091/) · R0018-09866 · Mathematically reviewed - [Question 9867: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0092/) · R0018-09867 · Mathematically reviewed - [Question 9868: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0093/) · R0018-09868 · Mathematically reviewed - [Question 9869: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0094/) · R0018-09869 · Mathematically reviewed - [Question 9870: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0095/) · R0018-09870 · Mathematically reviewed - [Question 9871: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0096/) · R0018-09871 · Mathematically reviewed - [Question 9872: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0097/) · R0018-09872 · Mathematically reviewed - [Question 9873: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0098/) · R0018-09873 · Mathematically reviewed - [Question 9874: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0099/) · R0018-09874 · Mathematically reviewed - [Question 9875: Empty Families and Qualified Closure Premises](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0100/) · R0018-09875 · Mathematically reviewed - [Question 9876: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0001/) · R0018-09876 · Mathematically reviewed - [Question 9877: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0002/) · R0018-09877 · Mathematically reviewed - [Question 9878: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0003/) · R0018-09878 · Mathematically reviewed - [Question 9879: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0004/) · R0018-09879 · Mathematically reviewed - [Question 9880: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0005/) · R0018-09880 · Mathematically reviewed - [Question 9881: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0006/) · R0018-09881 · Mathematically reviewed - [Question 9882: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0007/) · R0018-09882 · Mathematically reviewed - [Question 9883: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0008/) · R0018-09883 · Mathematically reviewed - [Question 9884: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0009/) · R0018-09884 · Mathematically reviewed - [Question 9885: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0010/) · R0018-09885 · Mathematically reviewed - [Question 9886: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0011/) · R0018-09886 · Mathematically reviewed - [Question 9887: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0012/) · R0018-09887 · Mathematically reviewed - [Question 9888: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0013/) · R0018-09888 · Mathematically reviewed - [Question 9889: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0014/) · R0018-09889 · Mathematically reviewed - [Question 9890: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0015/) · R0018-09890 · Mathematically reviewed - [Question 9891: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0016/) · R0018-09891 · Mathematically reviewed - [Question 9892: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0017/) · R0018-09892 · Mathematically reviewed - [Question 9893: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0018/) · R0018-09893 · Mathematically reviewed - [Question 9894: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0019/) · R0018-09894 · Mathematically reviewed - [Question 9895: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0020/) · R0018-09895 · Mathematically reviewed - [Question 9896: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0021/) · R0018-09896 · Mathematically reviewed - [Question 9897: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0022/) · R0018-09897 · Mathematically reviewed - [Question 9898: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0023/) · R0018-09898 · Mathematically reviewed - [Question 9899: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0024/) · R0018-09899 · Mathematically reviewed - [Question 9900: Open, Closed, Both, or Neither in One Fixed Topology](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r01-open-closed-set-0025/) · R0018-09900 · Mathematically reviewed - [Question 9901: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0026/) · R0018-09901 · Mathematically reviewed - [Question 9902: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0027/) · R0018-09902 · Mathematically reviewed - [Question 9903: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0028/) · R0018-09903 · Mathematically reviewed - [Question 9904: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0029/) · R0018-09904 · Mathematically reviewed - [Question 9905: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0030/) · R0018-09905 · Mathematically reviewed - [Question 9906: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0031/) · R0018-09906 · Mathematically reviewed - [Question 9907: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0032/) · R0018-09907 · Mathematically reviewed - [Question 9908: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0033/) · R0018-09908 · Mathematically reviewed - [Question 9909: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0034/) · R0018-09909 · Mathematically reviewed - [Question 9910: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0035/) · R0018-09910 · Mathematically reviewed - [Question 9911: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0036/) · R0018-09911 · Mathematically reviewed - [Question 9912: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0037/) · R0018-09912 · Mathematically reviewed - [Question 9913: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0038/) · R0018-09913 · Mathematically reviewed - [Question 9914: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0039/) · R0018-09914 · Mathematically reviewed - [Question 9915: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0040/) · R0018-09915 · Mathematically reviewed - [Question 9916: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0041/) · R0018-09916 · Mathematically reviewed - [Question 9917: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0042/) · R0018-09917 · Mathematically reviewed - [Question 9918: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0043/) · R0018-09918 · Mathematically reviewed - [Question 9919: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0044/) · R0018-09919 · Mathematically reviewed - [Question 9920: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0045/) · R0018-09920 · Mathematically reviewed - [Question 9921: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0046/) · R0018-09921 · Mathematically reviewed - [Question 9922: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0047/) · R0018-09922 · Mathematically reviewed - [Question 9923: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0048/) · R0018-09923 · Mathematically reviewed - [Question 9924: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0049/) · R0018-09924 · Mathematically reviewed - [Question 9925: Synthetic Free Variables before Type Inference](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0050/) · R0018-09925 · Mathematically reviewed - [Question 9926: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0076/) · R0018-09926 · Mathematically reviewed - [Question 9927: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0077/) · R0018-09927 · Mathematically reviewed - [Question 9928: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0078/) · R0018-09928 · Mathematically reviewed - [Question 9929: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0079/) · R0018-09929 · Mathematically reviewed - [Question 9930: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0080/) · R0018-09930 · Mathematically reviewed - [Question 9931: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0081/) · R0018-09931 · Mathematically reviewed - [Question 9932: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0082/) · R0018-09932 · Mathematically reviewed - [Question 9933: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0083/) · R0018-09933 · Mathematically reviewed - [Question 9934: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0084/) · R0018-09934 · Mathematically reviewed - [Question 9935: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0085/) · R0018-09935 · Mathematically reviewed - [Question 9936: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0086/) · R0018-09936 · Mathematically reviewed - [Question 9937: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0087/) · R0018-09937 · Mathematically reviewed - [Question 9938: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0088/) · R0018-09938 · Mathematically reviewed - [Question 9939: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0089/) · R0018-09939 · Mathematically reviewed - [Question 9940: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0090/) · R0018-09940 · Mathematically reviewed - [Question 9941: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0091/) · R0018-09941 · Mathematically reviewed - [Question 9942: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0092/) · R0018-09942 · Mathematically reviewed - [Question 9943: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0093/) · R0018-09943 · Mathematically reviewed - [Question 9944: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0094/) · R0018-09944 · Mathematically reviewed - [Question 9945: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0095/) · R0018-09945 · Mathematically reviewed - [Question 9946: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0096/) · R0018-09946 · Mathematically reviewed - [Question 9947: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0097/) · R0018-09947 · Mathematically reviewed - [Question 9948: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0098/) · R0018-09948 · Mathematically reviewed - [Question 9949: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0099/) · R0018-09949 · Mathematically reviewed - [Question 9950: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0100/) · R0018-09950 · Mathematically reviewed - [Question 9951: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0001/) · R0018-09951 · Mathematically reviewed - [Question 9952: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0002/) · R0018-09952 · Mathematically reviewed - [Question 9953: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0003/) · R0018-09953 · Mathematically reviewed - [Question 9954: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0004/) · R0018-09954 · Mathematically reviewed - [Question 9955: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0005/) · R0018-09955 · Mathematically reviewed - [Question 9956: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0006/) · R0018-09956 · Mathematically reviewed - [Question 9957: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0007/) · R0018-09957 · Mathematically reviewed - [Question 9958: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0008/) · R0018-09958 · Mathematically reviewed - [Question 9959: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0009/) · R0018-09959 · Mathematically reviewed - [Question 9960: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0010/) · R0018-09960 · Mathematically reviewed - [Question 9961: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0011/) · R0018-09961 · Mathematically reviewed - [Question 9962: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0012/) · R0018-09962 · Mathematically reviewed - [Question 9963: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0013/) · R0018-09963 · Mathematically reviewed - [Question 9964: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0014/) · R0018-09964 · Mathematically reviewed - [Question 9965: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0015/) · R0018-09965 · Mathematically reviewed - [Question 9966: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0016/) · R0018-09966 · Mathematically reviewed - [Question 9967: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0017/) · R0018-09967 · Mathematically reviewed - [Question 9968: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0018/) · R0018-09968 · Mathematically reviewed - [Question 9969: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0019/) · R0018-09969 · Mathematically reviewed - [Question 9970: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0020/) · R0018-09970 · Mathematically reviewed - [Question 9971: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0021/) · R0018-09971 · Mathematically reviewed - [Question 9972: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0022/) · R0018-09972 · Mathematically reviewed - [Question 9973: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0023/) · R0018-09973 · Mathematically reviewed - [Question 9974: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0024/) · R0018-09974 · Mathematically reviewed - [Question 9975: Synthetic Implication/Conjunction Term Type against a Claim](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0025/) · R0018-09975 · Mathematically reviewed - [Question 9976: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0051/) · R0018-09976 · Mathematically reviewed - [Question 9977: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0052/) · R0018-09977 · Mathematically reviewed - [Question 9978: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0053/) · R0018-09978 · Mathematically reviewed - [Question 9979: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0054/) · R0018-09979 · Mathematically reviewed - [Question 9980: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0055/) · R0018-09980 · Mathematically reviewed - [Question 9981: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0056/) · R0018-09981 · Mathematically reviewed - [Question 9982: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0057/) · R0018-09982 · Mathematically reviewed - [Question 9983: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0058/) · R0018-09983 · Mathematically reviewed - [Question 9984: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0059/) · R0018-09984 · Mathematically reviewed - [Question 9985: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0060/) · R0018-09985 · Mathematically reviewed - [Question 9986: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0061/) · R0018-09986 · Mathematically reviewed - [Question 9987: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0062/) · R0018-09987 · Mathematically reviewed - [Question 9988: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0063/) · R0018-09988 · Mathematically reviewed - [Question 9989: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0064/) · R0018-09989 · Mathematically reviewed - [Question 9990: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0065/) · R0018-09990 · Mathematically reviewed - [Question 9991: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0066/) · R0018-09991 · Mathematically reviewed - [Question 9992: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0067/) · R0018-09992 · Mathematically reviewed - [Question 9993: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0068/) · R0018-09993 · Mathematically reviewed - [Question 9994: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0069/) · R0018-09994 · Mathematically reviewed - [Question 9995: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0070/) · R0018-09995 · Mathematically reviewed - [Question 9996: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0071/) · R0018-09996 · Mathematically reviewed - [Question 9997: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0072/) · R0018-09997 · Mathematically reviewed - [Question 9998: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0073/) · R0018-09998 · Mathematically reviewed - [Question 9999: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0074/) · R0018-09999 · Mathematically reviewed - [Question 10000: Synthetic Tactic Completion Is Not a Kernel Receipt](https://ocme.evemisslab.com/en/questions/q-20261013-advance-20261019-r07-lean-proof-term-0075/) · R0018-10000 · Mathematically reviewed The source bank retains its original candidate and verification labels. Display and symbol checks are not recorded as mathematical review or independent recomputation. [Full publication catalogue JSON](https://ocme.evemisslab.com/data/question-derivations/publication.json) · [Mathematical review index JSON](https://ocme.evemisslab.com/data/question-derivations/index.json)[Previous](https://ocme.evemisslab.com/en/questions/page/49/) Page 50 / 180 [Next](https://ocme.evemisslab.com/en/questions/page/51/)