Inventory: C

The rows of the inventory whose names start with C. 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.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 2201–2300 of 7242.

Name	Id	Kind	Outcome	Sources
CGRGMD8G7K	CGRGMD8G7K	statement	record (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.11785#SQJZ
CGRP8GTJWH	CGRP8GTJWH	problem	record (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.26269#TOBD
CGRYCDM60N	CGRYCDM60N	exercise	open	lebl_scv scv.tex#exercise-315
cgs units	T66BBCXJF1	concept	open	lebl_diffyqs index/3.3.3/cgs-units
cgs units	Y1C4BYFVR8	concept	open	lebl_diffyqs index/3.3.2/cgs-units
CGS226H01M	CGS226H01M	statement	record (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.26134#F96I
CGS7JE92PA	CGS7JE92PA	statement	record (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.17677#YXVU
CGSFTXPPZ2	CGSFTXPPZ2	statement	record (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.39539#KE3R
CGSH1ETYYM	CGSH1ETYYM	statement	record (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.29878#HRCG
CGSJEG1NSX	CGSJEG1NSX	statement	record (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.01968#ODXH
CGSXNEVR00	CGSXNEVR00	statement	record (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 0806.0033#WQUP
CGT0W7WCSB	CGT0W7WCSB	statement	record (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.15744#3XN3
CGTDDVJKM0	CGTDDVJKM0	statement	record (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.31278#6ENB
CGTQ2KF1FR	CGTQ2KF1FR	statement	record (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.08193#R4XO
CGV8D9HFCC	CGV8D9HFCC	problem	record (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 2607.28337#2SGH
CGVBBBKPGQ	CGVBBBKPGQ	statement	record (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.38548#R2KK
CGVDYADJJW	CGVDYADJJW	definition	open	open_logic content/lambda-calculus/lambda-definability/introduction.tex#defn-2
CGVNAF2ZCE	CGVNAF2ZCE	statement	record (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.00856#PJ7T
CGVWHM32TH	CGVWHM32TH	statement	record (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.04323#634G
CGWBEC9T2W	CGWBEC9T2W	statement	record (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 2504.19468#SEBV
CGWC7430NG	CGWC7430NG	statement	record (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.11336#SROP
CGWZ7BSBQT	CGWZ7BSBQT	exercise	open	levin_dmoi ptx/exercises/gt-conc.ptx#exercise-3
CGXPY6PQ3T	CGXPY6PQ3T	statement	record (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.16606#II4F
CGYCFHMKMV	CGYCFHMKMV	proof	open	hott_book reals.tex#proof-18
CGZ10ZEXY3	CGZ10ZEXY3	statement	open	open_logic content/lambda-calculus/introduction/computable-lambda.tex#thm:computable-lambda
CGZZPMY7FQ	CGZZPMY7FQ	definition	record (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.05784#AJ02
Ch. III, \S10; Ex. V.2.2	589PJF7GA0	statement	record (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.19251#07SE
Ch. X, Thm 2.2(c	7TX8A6A9JS	statement	record (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.01924#RIR5
CH0AEEMPMV	CH0AEEMPMV	example	open	lebl_diffyqs ch-eigenvalue-probs.tex#example-5
CH0YJ4XNKS	CH0YJ4XNKS	definition	record (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.24845#7SJW
CH1319C5RS	CH1319C5RS	exercise	open	open_logic content/computability/recursive-functions/pr-functions.tex#prob-1
CH1FX0YJFY	CH1FX0YJFY	definition	record (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.38068#KS8W
CH1HE7K10S	CH1HE7K10S	statement	record (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 2111.07409#QYMD
CH1NSRBE65	CH1NSRBE65	statement	record (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.29784#BMDT
CH1WX6Z4BZ	CH1WX6Z4BZ	statement	record (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.12846#MVG0
CH284W79WQ	CH284W79WQ	statement	record (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.13528#0E01
CH2W6JGC9T	CH2W6JGC9T	definition	record (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.08697#DB00
CH2ZFZQHA3	CH2ZFZQHA3	statement	record (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.11834#EZ7I
CH38D8WSQ6	CH38D8WSQ6	statement	record (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.30113#9NN1
CH3KHBF4WN	CH3KHBF4WN	statement	record (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.21103#8TLV
CH3QVY6PQM	CH3QVY6PQM	statement	open	open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-2
CH48GCMWNA	CH48GCMWNA	statement	record (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 0809.1307#RRKV
CH4R01Z8DN	CH4R01Z8DN	statement	record (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.05327#T7Z8
CH5FA11SGD	CH5FA11SGD	statement	record (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.13908#70F0
CH6925K1KA	CH6925K1KA	statement	record (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.29489#KABP
CH6CJC5HMA	CH6CJC5HMA	statement	record (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.20131#VZXR
CH6S9QX3FD	CH6S9QX3FD	statement	record (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.04673#A09G
CH6XTY3770	CH6XTY3770	statement	record (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.04772#G4GH
CH7RM787J5	CH7RM787J5	definition	record (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.25168#YLOK
CH7ZD0J1TN	CH7ZD0J1TN	statement	record (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.15454#DD5H
CH81G9TXNZ	CH81G9TXNZ	definition	record (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 2512.16003#GS48
CH8FN4AX96	CH8FN4AX96	statement	record (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.01653#UBOX
CH8JJDKYW5	CH8JJDKYW5	exercise	open	lebl_diffyqs ch-eigenvalue-probs.tex#exercise-25
CH9KRWW3QT	CH9KRWW3QT	statement	record (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.22345#QKMX
CH9MBZ1AQ1	CH9MBZ1AQ1	statement	record (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.14985#X9S0
CHAAMD4PG4	CHAAMD4PG4	example	record (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.27775#DKUV
chain	5X38FC6ZVZ	concept	open	applied_combinatorics index/6.1/chain
chain	68D3KB5Q5J	unknown	open	Wikidata Q4504468, MathWorld k-Chain, nLab chain
chain	MKS5N3ZW9H	unknown	open	Wikidata Q53710222, MathWorld Chain
Chain additive reducts	AGC8GH4J9Y	statement	record (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.39700#E1BR
chain complex	Q8FCXMEZCX	definition	open	Wikidata Q1143328, MathWorld ChainComplex, nLab chain complex, ProofWiki Definition:Chain_Complex
chain complex	Y9B3YBW6JN	unknown	open	mathlib_overview General algebra > Homological algebra > chain complex, Mathlib ChainComplex
chain condition	946AE8J4QR	unknown	open	Wikidata Q78657959, EoM Chain_condition, MathWorld ChainCondition
Chain condition	SG0DN8JAYH	statement	record (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.27966#0ZXN
Chain conditions preserve regular cardinals	EB4S982W1W	statement	open	napkin tex/set-theory/CH.tex#theorem-1
Chain homotopic maps induce the same map on homology groups	SZ8CB150Q2	statement	open	napkin tex/homology/singular.tex#proposition-2
chain homotopy	FKCMB9GKBT	unknown	open	Wikidata Q1430845, MathWorld ChainHomotopy, nLab chain homotopy
chain map	DDAAJS0PWE	unknown	open	Wikidata Q124450475, MathWorld ChainHomomorphism, nLab chain map
Chain of $2\times 2$ constraints	YVNRSTDY8G	statement	record (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.37074#Q7L3
chain partition	4QYDSHACYP	concept	open	applied_combinatorics index/14.3/chain-partition
chain rule	2GPBTCAKQX	statement	node (a node has the same Wikidata item as the row)	Wikidata Q207455, MathWorld ChainRule, nLab chain rule, ProofWiki Derivative_of_Composite_Function
chain rule	4H02HGYYKG	concept	open	active_calculus index/2.5.2/chain-rule
chain rule	4QK85HJ0ZK	concept	open	lebl_ra index/3.1.2/chain-rule
Chain Rule	5AGGH7J19S	statement	record (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.17129#7K88
chain rule	6R11TRXR6D	concept	open	lebl_ra index/11.3.1/chain-rule
chain rule	8Y1TH67J8X	statement	record (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.27495#QUOU
Chain rule	CBH369R9G7	exercise	open	napkin tex/diffgeo/multivar.tex#sproblem-1
Chain rule	MJZ2NGMYD8	statement	open	lebl_ra ch-der.tex#prop-5
Chain rule	Q3MB9D6TXT	statement	open	lebl_ra ch-several-vars-ders.tex#thm-2
Chain rule	WM9W0K8Z9H	statement	record (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.21775#ZM9U
chain rule	XW755GSX36	unknown	open	mathlib_undergrad Multivariable calculus > Differential calculus > chain rule, Mathlib fderiv_comp
chain rule for holomorphic mappings	DAB055FFNZ	concept	open	lebl_scv index/1.3/chain-rule-for-holomorphic-mappings
Chain rule for holomorphic mappings\index{chain rule for holomorphic mappings}	R2BFEC8MA8	statement	open	lebl_scv scv.tex#prop-5
Chain rule for maximal weak subslope	8PKYA4E4T8	statement	record (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.21775#F516
Chain rule for traces	R124BT96C6	statement	record (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.17129#O9S6
Chain rule, Lemma 3.4	VZRH1TEQR8	statement	record (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.36016#MK7R
Chain solvability criterion	7A91M0QHYF	statement	record (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.27966#5AKH
Chain sparsity	2B9PHBRBX4	example	record (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.17371#97NT
Chain-invariant duration minimum	CH101P6X4C	statement	record (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.29597#QG9Z
Chain-parametrized candidate function	NK8JJWSP6A	definition	record (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.33360#FPVP
Chained inversion	8VHPCHC63F	statement	record (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.38668#H0D7
Chaining bound for fluctuations of the reciprocal extension $\Phi_{a,W,T}$	X2JEJP7E5F	statement	record (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.30590#QEHC
Chains represent exactly the NDLCFs	JJ9AX02QFS	statement	record (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.29597#U5BU
Chaitin's constant	ZFNH91MSTC	object	open	Wikidata Q735775, MathWorld ChaitinsConstant
Chakraborty--Flores	8E9NFFSJNY	definition	record (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.03424#E9HD
challenging	2NVPV44RJT	exercise	open	lebl_diffyqs ch-fourier-and-pde.tex#exercise-122
Challenging	41AP4T6X5R	exercise	open	lebl_ra ch-seq-ser.tex#exercise:cauchycondensation
Challenging	5NY980YEJV	exercise	open	lebl_ra ch-seq-ser.tex#exercise-46
Challenging	5PHVHB9ZY6	exercise	open	lebl_ra ch-contfunc.tex#exercise:contlimitbadcomposition
challenging	5XQB11J98Y	exercise	open	lebl_diffyqs ch-power-ser.tex#exercise-13