Math 2.0

Inventory: other names

The rows of the inventory whose names start with a character that is not a letter of A to Z. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 26401–26500 of 26896.

NameIdKindOutcomeSources
\coqident{Algebra}{DCPO}{dcpowithbottom4DGC6VBKJ9definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#RN0K
\coqident{Algebra}{DCPO}{isdcpomorphismKC7T93D8GDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#WX2K
\coqident{Algebra}{DCPO}{isdirectedXG26A5EPF2definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#DT98
\coqident{Algebra}{DCPO}{isupperbound}, \coqident{Algebra}{DCPO}{islub}, \coqident{Algebra}{DCPO}{isdirectedcompleteETNX9NM0M9definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#K74H
\coqident{cwf_structure}}, {\coqident{cwfRAQ5YX005Ddefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#3CPQ
\coqident{Foundations}{Sets}{hrelE40N0WF8YCdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#J7GE
\coqident{Foundations}{Sets}{PartialOrderDY49REP7VDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#PHOD
\coqident{Foundations}{Sets}{posetmorphism99MC912VGXdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#VCU1
\coqident{fpullbackBXSEAAG3YDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#P0QN
\coqident{is_universe_transfer8SYK00Q0JKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#U660
\coqident{isaprop_rel_universe_structureBA5WWT02BFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#Z4N4
\coqident{isweq_from_cwf_to_repGMGQPQBKZ7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#I0MH
\coqident{isweq_is_universe_transferM1XH20CQ3Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#YGS8
\coqident{MoreFoundations}{ClosureOfHrel}{is_singlevaluedWZ1SS9E8TRdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#6Y2V
\coqident{MoreFoundations}{ClosureOfHrel}{isdecidable_hrelE0NQ9QFRBDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#460H
\coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos}, \coqident{MoreFoundations}{ClosureOfHrel}{refl_trans_clos_hrel78HNKXG8PRdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#JWXL
\coqident{MoreFoundations}{ClosureOfHrel}{refltransclos_step}, \coqident{MoreFoundations}{ClosureOfHrel}{refltransclos_step_hrel9794F5Q0F1definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#MMBW
\coqident{MoreFoundations}{Wtypes}{getfibA1TTB70VRKdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#JJ6V
\coqident{MoreFoundations}{Wtypes}{indexedWtypeNVK66CGZT0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#WIEZ
\coqident{MoreFoundations}{Wtypes}{picompact_empty}, \coqident{MoreFoundations}{Wtypes}{picompact_unit1372W7PVG2examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#FB87
\coqident{MoreFoundations}{Wtypes}{subtrees2DC3DJEPZQdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#VZGA
\coqident{obj_ext_structure739C96AA4Kdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#K52A
\coqident{Partiality}{LiftMonad}{Kleisli_extensionC1XZB62ETAdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#AHTZ
\coqident{Partiality}{PartialElements}{isdefined}, \coqident{Partiality}{PartialElements}{valueG6EYPAJH4Adefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#6LLA
\coqident{Partiality}{PartialElements}{lift7VY6G0PV27definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#1YR0
\coqident{Partiality}{PartialElements}{lift_embedding5H8QYCHDG4definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#QLDD
\coqident{Partiality}{PartialElements}{liftorder_least1X6E5PJNEHdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#CLS2
\coqident{Partiality}{PCF}{adequacy_relationMF80HVHCN0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#ABHB
\coqident{Partiality}{PCF}{denotational_semantics_termsEW9FYWJ69Hdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#PYAP
\coqident{Partiality}{PCF}{denotational_semantics_typeQRFCS6NEMMdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#8DWT
\coqident{Partiality}{PCF}{numeral6C4K4A1FJ5definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#YGS9
\coqident{Partiality}{PCF}{smallstep'}, \coqident{Partiality}{PCF}{smallstepJVGH9EFV1Kdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#VFO4
\coqident{Partiality}{PCF}{termRG8F7PPGQGdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#WT6O
\coqident{Partiality}{PCF}{typeH4HF2HHMT6definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#Z4N2
\coqident{qq_morphism_structureSQAHRHMXFBdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#L2FG
\coqident{relative_universe}, \coqident{weak_relative_universeWD53TFJM0Gdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#8WEL
\coqident{rep_mapNCGG9QTM8Pdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#8N79
\coqident{term_fun_structureH8GERM4FSQdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#JJC0
\coqident{weq_relative_universe_weak_relative_universeEMC8XN7ZVWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1705.04310#JIM1
\dbci Operator7FTKCVZFNFdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27120#1Z55
\DynoSPLIT with capacity margin \(\varepsilon\TXCWQB3BP2definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17329#OQ1M
\emph{$t$-motives associated with Drinfeld modules6WRCGC9MZ9unknownopenarXiv 2609.23287#IZPE
\emph{Asymptotic Block SeparationB5MECEKTWEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13424#G7FF
\emph{Axial, generic and cuspidal eta quotientsRET25E5JCYdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.10576#N22R
\emph{Bony--Weyl paralinearization and exact homogeneityQ7D45G04WNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37593#D6Q0
\emph{Carlitz $t$-motive4G1HY3X957examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.23287#QY2H
\emph{Change of quantizationPY1SD9TKGEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37593#Z6JI
\emph{Composition4P8EKAWDYGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37593#63I3
\emph{Convergence of Optimal CostP5EMA0RCYGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13424#MDNI
\emph{Decrease of $J_T^*$ with $T$ZWT7CZX34Cstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13424#6IK0
\emph{Deghostification} by antisymmetric polarization610F30459Zdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.36548#B6DZ
\emph{Energy estimate30SCKXR3RJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37593#PTE9
\emph{Feasibility9M8XCVSXXFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13424#BRUY
\emph{in $\ZF$}AF7HWN8JFGstatementopenopen_logic content/set-theory/choice/hartogs.tex#HartogsLemma
\emph{in $\ZF$}DY1BNTHZ84statementopenopen_logic content/set-theory/choice/hartogs.tex#thm-1
\emph{Local differential privacy} (LDP1TYHFH1NHDdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28297#R6A2
\emph{Models and good reductionsRXZSHTSGZVunknownopenarXiv 2609.23287#RLZD
\emph{Non-prioritized, dimension-wise comparisonJCPTH8FAS2examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.13428#XJ8K
\emph{Non-prioritized, joint comparisonBSY01TENCFexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.13428#QKRS
\emph{Optimal SolutionG2T5S1X1S0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13424#1Y6U
\emph{Paralinearization in Birkhoff CoordinatesEPP0Y8BKVWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37593#6QGU
\emph{ParaproductHPWGXM3WWMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37593#NNFW
\emph{PIMM4HRYB3D0Xexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.13428#1V0R
\emph{Principle of induction on !!{formula}s}56FEHK5EP9statementopenopen_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#thm:induction
\emph{Principle of induction on !!{formula}s}6D2XE2R7VSstatementopenopen_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#thm:frmind
\emph{Principle of induction on terms}9J6GARABWWstatementopenopen_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#lem:trmind
\emph{Prioritized, joint comparisonW9JN2VKHZEexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.13428#EDZF
\emph{Sample-splitting for U-statistics7TW5NNSE4Hexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.13428#7MXB
\epower alone implies no type-II bound8GKVXRSCARstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27765#935X
\epower is well defined and bounded894FVRG7S6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27765#PL7G
\Erd--HajnalKNKRAX9ZF5conjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.21895#HNXO
\Ev-powerCXFRKB2GGEdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08210#WUZS
\Ev-value constructionSA6CVJZT5Zstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08210#3WZL
\Ev-variablesCA6CW0NZSGdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08210#7HZ2
\Folner\ sequencesRWCNHYDYP0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30410#UWBC
\frcontrol transition dynamicsK1F8ZVH580statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.38132#VI0J
\FTS under the exponent conditionF3Z2NG0M55statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35844#JI7K
\Gls{opinf} decomposition theoremVABQES0S3Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01295#ENMK
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/PrimeChain.lean\#L138}{\Verb|strongSSC\_chainTup|18J6AAYV5Bstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#ZTT0
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L181}{\Verb|of\_sum\_natAbs\_lt|XFJE5V42VXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#GDHE
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L199}{\Verb|pair\_of\_sum\_natAbs\_lt|5S7ZHKKK8Gstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#KA52
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/SubsumCondition.lean\#L229}{\Verb|strongSSC\_tupReduce|PVJ7YWK8VDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#V9HK
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L167}{\Verb|VWPair.of|}, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L176}{\Verb|VWPair.of\_coprime|TMK8FAS4QTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#SWD1
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Common/VWPair.lean\#L258}{\Verb|strongSSC\_vwTup|HDW86QRYY0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#O3T2
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Four.lean\#L331}{\Verb|quality\_ramaekersTuples\_four\_ge|SK9A87K55Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#SYQY
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/General/Main.lean\#L110}{\Verb|quality\_factorFreeTuples\_ge|Q2MXDGJ46Astatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#KP4P
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Main.lean\#L155}{\Verb|quality\_factorFreeTuples\_ge\_of\_odd\_of\_disjoint|DJJV1K6TFVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#4PFA
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Subsum.lean\#L215}{\Verb|OddCase.strongSSC\_tup|4NA5RFRQQKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16323#MDKL
\hspace{-0.01cmM0JT1XC7V3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.09634#C8EN
\hspace{-1sp4SB7YRK5W8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03341#DBOZ
\hspace{-1spDY2WQFXMKMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03341#S8XO
\hspace{1pt6QY0JCYTXXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20583#5HKF
\hspace{1ptB6Z114FV13statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20583#32ZT
\hspace{1ptDHJ7QFP8HKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20583#ORBW
\labelcref{algebraic_dimension_formulaAVZPENDSC0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35605#OH61
\labelcref{algebraic_reductionAKK9GDMHQJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35605#VH5L
\labelcref{BC_ring_iso_and_algebraa72JF3MBXBSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35625#GHA5
\labelcref{GCE_are_distinct_cohomologicalW8WAH02Y3Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35625#0543
\labelcref{integral_BC_are_isoXZRP01XCHMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35625#G6EX
\labelcref{rat_dimension_is_rat_measureTNE7ECQY9Cstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.35605#GMVU