Question derivations
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 ·
R0018-09801· Mathematically reviewed - Question 9802: Complete Open, Closed, and Clopen Families ·
R0018-09802· Mathematically reviewed - Question 9803: Complete Open, Closed, and Clopen Families ·
R0018-09803· Mathematically reviewed - Question 9804: Complete Open, Closed, and Clopen Families ·
R0018-09804· Mathematically reviewed - Question 9805: Complete Open, Closed, and Clopen Families ·
R0018-09805· Mathematically reviewed - Question 9806: Complete Open, Closed, and Clopen Families ·
R0018-09806· Mathematically reviewed - Question 9807: Complete Open, Closed, and Clopen Families ·
R0018-09807· Mathematically reviewed - Question 9808: Complete Open, Closed, and Clopen Families ·
R0018-09808· Mathematically reviewed - Question 9809: Complete Open, Closed, and Clopen Families ·
R0018-09809· Mathematically reviewed - Question 9810: Complete Open, Closed, and Clopen Families ·
R0018-09810· Mathematically reviewed - Question 9811: Complete Open, Closed, and Clopen Families ·
R0018-09811· Mathematically reviewed - Question 9812: Complete Open, Closed, and Clopen Families ·
R0018-09812· Mathematically reviewed - Question 9813: Complete Open, Closed, and Clopen Families ·
R0018-09813· Mathematically reviewed - Question 9814: Complete Open, Closed, and Clopen Families ·
R0018-09814· Mathematically reviewed - Question 9815: Complete Open, Closed, and Clopen Families ·
R0018-09815· Mathematically reviewed - Question 9816: Complete Open, Closed, and Clopen Families ·
R0018-09816· Mathematically reviewed - Question 9817: Complete Open, Closed, and Clopen Families ·
R0018-09817· Mathematically reviewed - Question 9818: Complete Open, Closed, and Clopen Families ·
R0018-09818· Mathematically reviewed - Question 9819: Complete Open, Closed, and Clopen Families ·
R0018-09819· Mathematically reviewed - Question 9820: Complete Open, Closed, and Clopen Families ·
R0018-09820· Mathematically reviewed - Question 9821: Complete Open, Closed, and Clopen Families ·
R0018-09821· Mathematically reviewed - Question 9822: Complete Open, Closed, and Clopen Families ·
R0018-09822· Mathematically reviewed - Question 9823: Complete Open, Closed, and Clopen Families ·
R0018-09823· Mathematically reviewed - Question 9824: Complete Open, Closed, and Clopen Families ·
R0018-09824· Mathematically reviewed - Question 9825: Complete Open, Closed, and Clopen Families ·
R0018-09825· Mathematically reviewed - Question 9826: Relative Complement and Open/Closed Duality ·
R0018-09826· Mathematically reviewed - Question 9827: Relative Complement and Open/Closed Duality ·
R0018-09827· Mathematically reviewed - Question 9828: Relative Complement and Open/Closed Duality ·
R0018-09828· Mathematically reviewed - Question 9829: Relative Complement and Open/Closed Duality ·
R0018-09829· Mathematically reviewed - Question 9830: Relative Complement and Open/Closed Duality ·
R0018-09830· Mathematically reviewed - Question 9831: Relative Complement and Open/Closed Duality ·
R0018-09831· Mathematically reviewed - Question 9832: Relative Complement and Open/Closed Duality ·
R0018-09832· Mathematically reviewed - Question 9833: Relative Complement and Open/Closed Duality ·
R0018-09833· Mathematically reviewed - Question 9834: Relative Complement and Open/Closed Duality ·
R0018-09834· Mathematically reviewed - Question 9835: Relative Complement and Open/Closed Duality ·
R0018-09835· Mathematically reviewed - Question 9836: Relative Complement and Open/Closed Duality ·
R0018-09836· Mathematically reviewed - Question 9837: Relative Complement and Open/Closed Duality ·
R0018-09837· Mathematically reviewed - Question 9838: Relative Complement and Open/Closed Duality ·
R0018-09838· Mathematically reviewed - Question 9839: Relative Complement and Open/Closed Duality ·
R0018-09839· Mathematically reviewed - Question 9840: Relative Complement and Open/Closed Duality ·
R0018-09840· Mathematically reviewed - Question 9841: Relative Complement and Open/Closed Duality ·
R0018-09841· Mathematically reviewed - Question 9842: Relative Complement and Open/Closed Duality ·
R0018-09842· Mathematically reviewed - Question 9843: Relative Complement and Open/Closed Duality ·
R0018-09843· Mathematically reviewed - Question 9844: Relative Complement and Open/Closed Duality ·
R0018-09844· Mathematically reviewed - Question 9845: Relative Complement and Open/Closed Duality ·
R0018-09845· Mathematically reviewed - Question 9846: Relative Complement and Open/Closed Duality ·
R0018-09846· Mathematically reviewed - Question 9847: Relative Complement and Open/Closed Duality ·
R0018-09847· Mathematically reviewed - Question 9848: Relative Complement and Open/Closed Duality ·
R0018-09848· Mathematically reviewed - Question 9849: Relative Complement and Open/Closed Duality ·
R0018-09849· Mathematically reviewed - Question 9850: Relative Complement and Open/Closed Duality ·
R0018-09850· Mathematically reviewed - Question 9851: Empty Families and Qualified Closure Premises ·
R0018-09851· Mathematically reviewed - Question 9852: Empty Families and Qualified Closure Premises ·
R0018-09852· Mathematically reviewed - Question 9853: Empty Families and Qualified Closure Premises ·
R0018-09853· Mathematically reviewed - Question 9854: Empty Families and Qualified Closure Premises ·
R0018-09854· Mathematically reviewed - Question 9855: Empty Families and Qualified Closure Premises ·
R0018-09855· Mathematically reviewed - Question 9856: Empty Families and Qualified Closure Premises ·
R0018-09856· Mathematically reviewed - Question 9857: Empty Families and Qualified Closure Premises ·
R0018-09857· Mathematically reviewed - Question 9858: Empty Families and Qualified Closure Premises ·
R0018-09858· Mathematically reviewed - Question 9859: Empty Families and Qualified Closure Premises ·
R0018-09859· Mathematically reviewed - Question 9860: Empty Families and Qualified Closure Premises ·
R0018-09860· Mathematically reviewed - Question 9861: Empty Families and Qualified Closure Premises ·
R0018-09861· Mathematically reviewed - Question 9862: Empty Families and Qualified Closure Premises ·
R0018-09862· Mathematically reviewed - Question 9863: Empty Families and Qualified Closure Premises ·
R0018-09863· Mathematically reviewed - Question 9864: Empty Families and Qualified Closure Premises ·
R0018-09864· Mathematically reviewed - Question 9865: Empty Families and Qualified Closure Premises ·
R0018-09865· Mathematically reviewed - Question 9866: Empty Families and Qualified Closure Premises ·
R0018-09866· Mathematically reviewed - Question 9867: Empty Families and Qualified Closure Premises ·
R0018-09867· Mathematically reviewed - Question 9868: Empty Families and Qualified Closure Premises ·
R0018-09868· Mathematically reviewed - Question 9869: Empty Families and Qualified Closure Premises ·
R0018-09869· Mathematically reviewed - Question 9870: Empty Families and Qualified Closure Premises ·
R0018-09870· Mathematically reviewed - Question 9871: Empty Families and Qualified Closure Premises ·
R0018-09871· Mathematically reviewed - Question 9872: Empty Families and Qualified Closure Premises ·
R0018-09872· Mathematically reviewed - Question 9873: Empty Families and Qualified Closure Premises ·
R0018-09873· Mathematically reviewed - Question 9874: Empty Families and Qualified Closure Premises ·
R0018-09874· Mathematically reviewed - Question 9875: Empty Families and Qualified Closure Premises ·
R0018-09875· Mathematically reviewed - Question 9876: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09876· Mathematically reviewed - Question 9877: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09877· Mathematically reviewed - Question 9878: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09878· Mathematically reviewed - Question 9879: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09879· Mathematically reviewed - Question 9880: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09880· Mathematically reviewed - Question 9881: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09881· Mathematically reviewed - Question 9882: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09882· Mathematically reviewed - Question 9883: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09883· Mathematically reviewed - Question 9884: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09884· Mathematically reviewed - Question 9885: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09885· Mathematically reviewed - Question 9886: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09886· Mathematically reviewed - Question 9887: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09887· Mathematically reviewed - Question 9888: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09888· Mathematically reviewed - Question 9889: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09889· Mathematically reviewed - Question 9890: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09890· Mathematically reviewed - Question 9891: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09891· Mathematically reviewed - Question 9892: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09892· Mathematically reviewed - Question 9893: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09893· Mathematically reviewed - Question 9894: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09894· Mathematically reviewed - Question 9895: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09895· Mathematically reviewed - Question 9896: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09896· Mathematically reviewed - Question 9897: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09897· Mathematically reviewed - Question 9898: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09898· Mathematically reviewed - Question 9899: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09899· Mathematically reviewed - Question 9900: Open, Closed, Both, or Neither in One Fixed Topology ·
R0018-09900· Mathematically reviewed - Question 9901: Synthetic Free Variables before Type Inference ·
R0018-09901· Mathematically reviewed - Question 9902: Synthetic Free Variables before Type Inference ·
R0018-09902· Mathematically reviewed - Question 9903: Synthetic Free Variables before Type Inference ·
R0018-09903· Mathematically reviewed - Question 9904: Synthetic Free Variables before Type Inference ·
R0018-09904· Mathematically reviewed - Question 9905: Synthetic Free Variables before Type Inference ·
R0018-09905· Mathematically reviewed - Question 9906: Synthetic Free Variables before Type Inference ·
R0018-09906· Mathematically reviewed - Question 9907: Synthetic Free Variables before Type Inference ·
R0018-09907· Mathematically reviewed - Question 9908: Synthetic Free Variables before Type Inference ·
R0018-09908· Mathematically reviewed - Question 9909: Synthetic Free Variables before Type Inference ·
R0018-09909· Mathematically reviewed - Question 9910: Synthetic Free Variables before Type Inference ·
R0018-09910· Mathematically reviewed - Question 9911: Synthetic Free Variables before Type Inference ·
R0018-09911· Mathematically reviewed - Question 9912: Synthetic Free Variables before Type Inference ·
R0018-09912· Mathematically reviewed - Question 9913: Synthetic Free Variables before Type Inference ·
R0018-09913· Mathematically reviewed - Question 9914: Synthetic Free Variables before Type Inference ·
R0018-09914· Mathematically reviewed - Question 9915: Synthetic Free Variables before Type Inference ·
R0018-09915· Mathematically reviewed - Question 9916: Synthetic Free Variables before Type Inference ·
R0018-09916· Mathematically reviewed - Question 9917: Synthetic Free Variables before Type Inference ·
R0018-09917· Mathematically reviewed - Question 9918: Synthetic Free Variables before Type Inference ·
R0018-09918· Mathematically reviewed - Question 9919: Synthetic Free Variables before Type Inference ·
R0018-09919· Mathematically reviewed - Question 9920: Synthetic Free Variables before Type Inference ·
R0018-09920· Mathematically reviewed - Question 9921: Synthetic Free Variables before Type Inference ·
R0018-09921· Mathematically reviewed - Question 9922: Synthetic Free Variables before Type Inference ·
R0018-09922· Mathematically reviewed - Question 9923: Synthetic Free Variables before Type Inference ·
R0018-09923· Mathematically reviewed - Question 9924: Synthetic Free Variables before Type Inference ·
R0018-09924· Mathematically reviewed - Question 9925: Synthetic Free Variables before Type Inference ·
R0018-09925· Mathematically reviewed - Question 9926: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09926· Mathematically reviewed - Question 9927: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09927· Mathematically reviewed - Question 9928: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09928· Mathematically reviewed - Question 9929: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09929· Mathematically reviewed - Question 9930: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09930· Mathematically reviewed - Question 9931: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09931· Mathematically reviewed - Question 9932: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09932· Mathematically reviewed - Question 9933: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09933· Mathematically reviewed - Question 9934: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09934· Mathematically reviewed - Question 9935: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09935· Mathematically reviewed - Question 9936: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09936· Mathematically reviewed - Question 9937: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09937· Mathematically reviewed - Question 9938: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09938· Mathematically reviewed - Question 9939: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09939· Mathematically reviewed - Question 9940: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09940· Mathematically reviewed - Question 9941: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09941· Mathematically reviewed - Question 9942: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09942· Mathematically reviewed - Question 9943: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09943· Mathematically reviewed - Question 9944: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09944· Mathematically reviewed - Question 9945: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09945· Mathematically reviewed - Question 9946: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09946· Mathematically reviewed - Question 9947: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09947· Mathematically reviewed - Question 9948: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09948· Mathematically reviewed - Question 9949: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09949· Mathematically reviewed - Question 9950: Synthetic Kernel Metadata Qualification and Axiom Inventory Flag ·
R0018-09950· Mathematically reviewed - Question 9951: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09951· Mathematically reviewed - Question 9952: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09952· Mathematically reviewed - Question 9953: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09953· Mathematically reviewed - Question 9954: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09954· Mathematically reviewed - Question 9955: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09955· Mathematically reviewed - Question 9956: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09956· Mathematically reviewed - Question 9957: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09957· Mathematically reviewed - Question 9958: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09958· Mathematically reviewed - Question 9959: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09959· Mathematically reviewed - Question 9960: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09960· Mathematically reviewed - Question 9961: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09961· Mathematically reviewed - Question 9962: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09962· Mathematically reviewed - Question 9963: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09963· Mathematically reviewed - Question 9964: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09964· Mathematically reviewed - Question 9965: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09965· Mathematically reviewed - Question 9966: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09966· Mathematically reviewed - Question 9967: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09967· Mathematically reviewed - Question 9968: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09968· Mathematically reviewed - Question 9969: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09969· Mathematically reviewed - Question 9970: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09970· Mathematically reviewed - Question 9971: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09971· Mathematically reviewed - Question 9972: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09972· Mathematically reviewed - Question 9973: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09973· Mathematically reviewed - Question 9974: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09974· Mathematically reviewed - Question 9975: Synthetic Implication/Conjunction Term Type against a Claim ·
R0018-09975· Mathematically reviewed - Question 9976: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09976· Mathematically reviewed - Question 9977: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09977· Mathematically reviewed - Question 9978: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09978· Mathematically reviewed - Question 9979: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09979· Mathematically reviewed - Question 9980: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09980· Mathematically reviewed - Question 9981: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09981· Mathematically reviewed - Question 9982: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09982· Mathematically reviewed - Question 9983: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09983· Mathematically reviewed - Question 9984: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09984· Mathematically reviewed - Question 9985: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09985· Mathematically reviewed - Question 9986: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09986· Mathematically reviewed - Question 9987: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09987· Mathematically reviewed - Question 9988: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09988· Mathematically reviewed - Question 9989: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09989· Mathematically reviewed - Question 9990: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09990· Mathematically reviewed - Question 9991: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09991· Mathematically reviewed - Question 9992: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09992· Mathematically reviewed - Question 9993: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09993· Mathematically reviewed - Question 9994: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09994· Mathematically reviewed - Question 9995: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09995· Mathematically reviewed - Question 9996: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09996· Mathematically reviewed - Question 9997: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09997· Mathematically reviewed - Question 9998: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09998· Mathematically reviewed - Question 9999: Synthetic Tactic Completion Is Not a Kernel Receipt ·
R0018-09999· Mathematically reviewed - Question 10000: Synthetic Tactic Completion Is Not a Kernel Receipt ·
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 · Mathematical review index JSON