HomeTheorem List (p. 10 of 11)
Mirrors > Metamath Home Page > Home Page > Theorem List Contents This page: Page List
| Home |
brismu
bridi Theorem List (p. 10 of 11) |
< Previous Next >
|
|
Mirrors > Metamath Home Page > Home Page > Theorem List Contents This page: Page List | ||
| Type | Label | Description |
|---|---|---|
| Statement | ||
| Axiom | ax-mreselbri-mitre 901 | Automatically generated axiom: {mitre} is {mreselbri} |
| mreselbri mitre | ||
| Axiom | ax-mreselbri-molro 902 | Automatically generated axiom: {molro} is {mreselbri} |
| mreselbri molro | ||
| Axiom | ax-mreselbri-paska 903 | Automatically generated axiom: {paska} is {mreselbri} |
| mreselbri paska | ||
| Axiom | ax-mreselbri-radno 904 | Automatically generated axiom: {radno} is {mreselbri} |
| mreselbri radno | ||
| Axiom | ax-mreselbri-snidu 905 | Automatically generated axiom: {snidu} is {mreselbri} |
| mreselbri snidu | ||
| Axiom | ax-mreselbri-stero 906 | Automatically generated axiom: {stero} is {mreselbri} |
| mreselbri stero | ||
| Axiom | ax-mreselbri-xampo 907 | Automatically generated axiom: {xampo} is {mreselbri} |
| mreselbri xampo | ||
| Axiom | ax-ragyselbri-besna 908 | Automatically generated axiom: {besna} is {ragyselbri} |
| ragyselbri besna | ||
| Axiom | ax-ragyselbri-betfu 909 | Automatically generated axiom: {betfu} is {ragyselbri} |
| ragyselbri betfu | ||
| Axiom | ax-ragyselbri-bongu 910 | Automatically generated axiom: {bongu} is {ragyselbri} |
| ragyselbri bongu | ||
| Axiom | ax-ragyselbri-calku 911 | Automatically generated axiom: {calku} is {ragyselbri} |
| ragyselbri calku | ||
| Axiom | ax-ragyselbri-canti 912 | Automatically generated axiom: {canti} is {ragyselbri} |
| ragyselbri canti | ||
| Axiom | ax-ragyselbri-ciblu 913 | Automatically generated axiom: {ciblu} is {ragyselbri} |
| ragyselbri ciblu | ||
| Axiom | ax-ragyselbri-cidni 914 | Automatically generated axiom: {cidni} is {ragyselbri} |
| ragyselbri cidni | ||
| Axiom | ax-ragyselbri-cnebo 915 | Automatically generated axiom: {cnebo} is {ragyselbri} |
| ragyselbri cnebo | ||
| Axiom | ax-ragyselbri-cutne 916 | Automatically generated axiom: {cutne} is {ragyselbri} |
| ragyselbri cutne | ||
| Axiom | ax-ragyselbri-degji 917 | Automatically generated axiom: {degji} is {ragyselbri} |
| ragyselbri degji | ||
| Axiom | ax-ragyselbri-fepri 918 | Automatically generated axiom: {fepri} is {ragyselbri} |
| ragyselbri fepri | ||
| Axiom | ax-ragyselbri-flira 919 | Automatically generated axiom: {flira} is {ragyselbri} |
| ragyselbri flira | ||
| Axiom | ax-ragyselbri-galxe 920 | Automatically generated axiom: {galxe} is {ragyselbri} |
| ragyselbri galxe | ||
| Axiom | ax-ragyselbri-jamfu 921 | Automatically generated axiom: {jamfu} is {ragyselbri} |
| ragyselbri jamfu | ||
| Axiom | ax-ragyselbri-kanla 922 | Automatically generated axiom: {kanla} is {ragyselbri} |
| ragyselbri kanla | ||
| Axiom | ax-ragyselbri-kerfa 923 | Automatically generated axiom: {kerfa} is {ragyselbri} |
| ragyselbri kerfa | ||
| Axiom | ax-ragyselbri-kerlo 924 | Automatically generated axiom: {kerlo} is {ragyselbri} |
| ragyselbri kerlo | ||
| Axiom | ax-ragyselbri-livga 925 | Automatically generated axiom: {livga} is {ragyselbri} |
| ragyselbri livga | ||
| Axiom | ax-ragyselbri-nalci 926 | Automatically generated axiom: {nalci} is {ragyselbri} |
| ragyselbri nalci | ||
| Axiom | ax-ragyselbri-pimlu 927 | Automatically generated axiom: {pimlu} is {ragyselbri} |
| ragyselbri pimlu | ||
| Axiom | ax-ragyselbri-risna 928 | Automatically generated axiom: {risna} is {ragyselbri} |
| ragyselbri risna | ||
| Axiom | ax-ragyselbri-stedu 929 | Automatically generated axiom: {stedu} is {ragyselbri} |
| ragyselbri stedu | ||
| Axiom | ax-ragyselbri-tamji 930 | Automatically generated axiom: {tamji} is {ragyselbri} |
| ragyselbri tamji | ||
| Axiom | ax-ragyselbri-tance 931 | Automatically generated axiom: {tance} is {ragyselbri} |
| ragyselbri tance | ||
| Axiom | ax-ragyselbri-tuple 932 | Automatically generated axiom: {tuple} is {ragyselbri} |
| ragyselbri tuple | ||
| Axiom | ax-ragyselbri-xance 933 | Automatically generated axiom: {xance} is {ragyselbri} |
| ragyselbri xance | ||
| Axiom | ax-ragyselbri-xedja 934 | Automatically generated axiom: {xedja} is {ragyselbri} |
| ragyselbri xedja | ||
| Axiom | ax-selraklyselbri-kliru 935 | Automatically generated axiom: {kliru} is {selraklyselbri} |
| selraklyselbri kliru | ||
| Axiom | ax-selraklyselbri-navni 936 | Automatically generated axiom: {navni} is {selraklyselbri} |
| selraklyselbri navni | ||
| Axiom | ax-selraklyselbri-sodna 937 | Automatically generated axiom: {sodna} is {selraklyselbri} |
| selraklyselbri sodna | ||
| Axiom | ax-skaselbri-blabi 938 | Automatically generated axiom: {blabi} is {skaselbri} |
| skaselbri blabi | ||
| Axiom | ax-skaselbri-blanu 939 | Automatically generated axiom: {blanu} is {skaselbri} |
| skaselbri blanu | ||
| Axiom | ax-skaselbri-bunre 940 | Automatically generated axiom: {bunre} is {skaselbri} |
| skaselbri bunre | ||
| Axiom | ax-skaselbri-cicna 941 | Automatically generated axiom: {cicna} is {skaselbri} |
| skaselbri cicna | ||
| Axiom | ax-skaselbri-crino 942 | Automatically generated axiom: {crino} is {skaselbri} |
| skaselbri crino | ||
| Axiom | ax-skaselbri-grusi 943 | Automatically generated axiom: {grusi} is {skaselbri} |
| skaselbri grusi | ||
| Axiom | ax-skaselbri-labyxuhe 944 | Automatically generated axiom: {labyxu'e} is {skaselbri} |
| skaselbri labyxu'e | ||
| Axiom | ax-skaselbri-narju 945 | Automatically generated axiom: {narju} is {skaselbri} |
| skaselbri narju | ||
| Axiom | ax-skaselbri-nukni 946 | Automatically generated axiom: {nukni} is {skaselbri} |
| skaselbri nukni | ||
| Axiom | ax-skaselbri-pelxu 947 | Automatically generated axiom: {pelxu} is {skaselbri} |
| skaselbri pelxu | ||
| Axiom | ax-skaselbri-xekri 948 | Automatically generated axiom: {xekri} is {skaselbri} |
| skaselbri xekri | ||
| Axiom | ax-skaselbri-xunblabi 949 | Automatically generated axiom: {xunblabi} is {skaselbri} |
| skaselbri xunblabi | ||
| Axiom | ax-skaselbri-xunre 950 | Automatically generated axiom: {xunre} is {skaselbri} |
| skaselbri xunre | ||
| Axiom | ax-skaselbri-zirpu 951 | Automatically generated axiom: {zirpu} is {skaselbri} |
| skaselbri zirpu | ||
| Axiom | ax-spaselbri-balji 952 | Automatically generated axiom: {balji} is {spaselbri} |
| spaselbri balji | ||
| Axiom | ax-spaselbri-genja 953 | Automatically generated axiom: {genja} is {spaselbri} |
| spaselbri genja | ||
| Axiom | ax-spaselbri-grute 954 | Automatically generated axiom: {grute} is {spaselbri} |
| spaselbri grute | ||
| Axiom | ax-spaselbri-pezli 955 | Automatically generated axiom: {pezli} is {spaselbri} |
| spaselbri pezli | ||
| Axiom | ax-spaselbri-stani 956 | Automatically generated axiom: {stani} is {spaselbri} |
| spaselbri stani | ||
| Axiom | ax-spaselbri-tsiju 957 | Automatically generated axiom: {tsiju} is {spaselbri} |
| spaselbri tsiju | ||
| Axiom | ax-spaselbri-xrula 958 | Automatically generated axiom: {xrula} is {spaselbri} |
| spaselbri xrula | ||
| Axiom | ax-tertohaselbri-damri 959 | Automatically generated axiom: {damri} is {terto'aselbri} |
| terto'aselbri damri | ||
| Axiom | ax-tertohaselbri-embira 960 | Automatically generated axiom: {embira} is {terto'aselbri} |
| terto'aselbri embira | ||
| Axiom | ax-tertohaselbri-flani 961 | Automatically generated axiom: {flani} is {terto'aselbri} |
| terto'aselbri flani | ||
| Axiom | ax-tertohaselbri-glokesi 962 | Automatically generated axiom: {glokesi} is {terto'aselbri} |
| terto'aselbri glokesi | ||
| Axiom | ax-tertohaselbri-janbe 963 | Automatically generated axiom: {janbe} is {terto'aselbri} |
| terto'aselbri janbe | ||
| Axiom | ax-tertohaselbri-jgita 964 | Automatically generated axiom: {jgita} is {terto'aselbri} |
| terto'aselbri jgita | ||
| Axiom | ax-tertohaselbri-kimbali 965 | Automatically generated axiom: {kimbali} is {terto'aselbri} |
| terto'aselbri kimbali | ||
| Axiom | ax-tertohaselbri-klavire 966 | Automatically generated axiom: {klavire} is {terto'aselbri} |
| terto'aselbri klavire | ||
| Axiom | ax-tertohaselbri-kordu 967 | Automatically generated axiom: {kordu} is {terto'aselbri} |
| terto'aselbri kordu | ||
| Axiom | ax-tertohaselbri-marmiba 968 | Automatically generated axiom: {marmiba} is {terto'aselbri} |
| terto'aselbri marmiba | ||
| Axiom | ax-tertohaselbri-marxaka 969 | Automatically generated axiom: {marxaka} is {terto'aselbri} |
| terto'aselbri marxaka | ||
| Axiom | ax-tertohaselbri-skilofo 970 | Automatically generated axiom: {skilofo} is {terto'aselbri} |
| terto'aselbri skilofo | ||
| Axiom | ax-tertohaselbri-tabra 971 | Automatically generated axiom: {tabra} is {terto'aselbri} |
| terto'aselbri tabra | ||
| Axiom | ax-tertohaselbri-termeni 972 | Automatically generated axiom: {termeni} is {terto'aselbri} |
| terto'aselbri termeni | ||
| Axiom | ax-tertohaselbri-timpani 973 | Automatically generated axiom: {timpani} is {terto'aselbri} |
| terto'aselbri timpani | ||
| Axiom | ax-tertohaselbri-virbafo 974 | Automatically generated axiom: {virbafo} is {terto'aselbri} |
| terto'aselbri virbafo | ||
| Axiom | ax-tertohaselbri-xagri 975 | Automatically generated axiom: {xagri} is {terto'aselbri} |
| terto'aselbri xagri | ||
| Axiom | ax-vusyselbri-cpina 976 | Automatically generated axiom: {cpina} is {vusyselbri} |
| vusyselbri cpina | ||
| Axiom | ax-vusyselbri-krumami 977 | Automatically generated axiom: {krumami} is {vusyselbri} |
| vusyselbri krumami | ||
| Axiom | ax-vusyselbri-kurki 978 | Automatically generated axiom: {kurki} is {vusyselbri} |
| vusyselbri kurki | ||
| Axiom | ax-vusyselbri-salni 979 | Automatically generated axiom: {salni} is {vusyselbri} |
| vusyselbri salni | ||
| Axiom | ax-vusyselbri-slari 980 | Automatically generated axiom: {slari} is {vusyselbri} |
| vusyselbri slari | ||
| Axiom | ax-vusyselbri-titla 981 | Automatically generated axiom: {titla} is {vusyselbri} |
| vusyselbri titla | ||
| Axiom | ax-xumselbri-cidro 982 | Automatically generated axiom: {cidro} is {xumselbri} |
| xumselbri cidro | ||
| Axiom | ax-xumselbri-cnisa 983 | Automatically generated axiom: {cnisa} is {xumselbri} |
| xumselbri cnisa | ||
| Axiom | ax-xumselbri-kijno 984 | Automatically generated axiom: {kijno} is {xumselbri} |
| xumselbri kijno | ||
| Axiom | ax-xumselbri-margu 985 | Automatically generated axiom: {margu} is {xumselbri} |
| xumselbri margu | ||
| Axiom | ax-xumselbri-nikle 986 | Automatically generated axiom: {nikle} is {xumselbri} |
| xumselbri nikle | ||
| Axiom | ax-xumselbri-rijno 987 | Automatically generated axiom: {rijno} is {xumselbri} |
| xumselbri rijno | ||
| Axiom | ax-xumselbri-sliri 988 | Automatically generated axiom: {sliri} is {xumselbri} |
| xumselbri sliri | ||
| Axiom | ax-xumselbri-solji 989 | Automatically generated axiom: {solji} is {xumselbri} |
| xumselbri solji | ||
| Axiom | ax-xumselbri-tabno 990 | Automatically generated axiom: {tabno} is {xumselbri} |
| xumselbri tabno | ||
| Axiom | ax-xumselbri-tinci 991 | Automatically generated axiom: {tinci} is {xumselbri} |
| xumselbri tinci | ||
| Axiom | ax-xumselbri-tirse 992 | Automatically generated axiom: {tirse} is {xumselbri} |
| xumselbri tirse | ||
| Axiom | ax-xumselbri-trano 993 | Automatically generated axiom: {trano} is {xumselbri} |
| xumselbri trano | ||
| Axiom | ax-xumselbri-tunka 994 | Automatically generated axiom: {tunka} is {xumselbri} |
| xumselbri tunka | ||
| Axiom | ax-xumselbri-zinki 995 | Automatically generated axiom: {zinki} is {xumselbri} |
| xumselbri zinki | ||
| Axiom | ax-xumsleselbri-djacu 996 | Automatically generated axiom: {djacu} is {xumsleselbri} |
| xumsleselbri djacu | ||
| Axiom | ax-since-respa 997 | Automatically generated axiom: {since} is a subrelation of {respa} |
| ⊢ pa ka ce'u since ce'u ki'irni'i pa ka ce'u respa ce'u | ||
| Axiom | ax-respa-danlu 998 | Automatically generated axiom: {respa} is a subrelation of {danlu} |
| ⊢ pa ka ce'u respa ce'u ki'irni'i pa ka ce'u danlu ce'u | ||
| Axiom | ax-remna-smani 999 | Automatically generated axiom: {remna} is a subrelation of {smani} |
| ⊢ pa ka ce'u remna ce'u ki'irni'i pa ka ce'u smani ce'u | ||
| Axiom | ax-smani-mabru 1000 | Automatically generated axiom: {smani} is a subrelation of {mabru} |
| ⊢ pa ka ce'u smani ce'u ki'irni'i pa ka ce'u mabru ce'u | ||
| < Previous Next > |
| Copyright terms: Public domain | < Previous Next > |