Exact free-source registry
Every reading cites the exact human works it uses. This registry identifies 49 verified free versions and the recorded reading scope. A citation supports writing the proof; the complete proofs are included in this course.
- fremlin-mt4-2013-445-20080320
Used by HA-LCA-02, HA-LCA-03, HA-LCA-06, HA-LCA-07, HA-LCA-08, HA-LCA-09 - fremlin-mt4-2013-436
Used by HA-LCA-PRE-RADON - fremlin-mt4-2013-4a2
Used by HA-LCA-PRE-RADON - taylor-banach
Used by HA-LCA-PRE-BANACH, HA-LCA-PRE-HILBERT - lurie-261y-lecture2
Used by HA-LCA-PRE-BANACH - fremlin-mt4-2013-417
Used by HA-LCA-PRE-PRODUCT, HA-LCA-PRE-INTEGRAL - freire-stone-weierstrass
Used by HA-LCA-PRE-APPROX - fremlin-mt4-2013-4a6
Used by HA-LCA-PRE-APPROX - fremlin-mt1-2011-123
Used by HA-LCA-PRE-INTEGRAL - fremlin-mt2-2016-242
Used by HA-LCA-PRE-INTEGRAL - fremlin-mt4-2013-443
Used by HA-LCA-10, HA-LCA-11, HA-LCA-PRE-HAAR, HA-LCA-PRE-NONABELIAN-HAAR - tao-254a-notes3-20110927
Used by HA-LCA-PRE-HAAR, HA-LCA-PRE-NONABELIAN-HAAR - fremlin-mt4-2013-444
Used by HA-LCA-PRE-HAAR, HA-LCA-PRE-NONABELIAN-HAAR - fremlin-mt4-2013-441
Used by HA-LCA-PRE-HAAR - tao-245c-notes2-20090406
Used by HA-LCA-02 - fremlin-mt2-2016-283
Used by HA-LCA-PRE-REAL - lebl-basic-analysis-ftc
Used by HA-LCA-PRE-REAL - conrad-finite-characters-short
Used by HA-LCA-01 - conrad-gauss-jacobi
Used by HA-LCA-01 - tao-prime-uncertainty-v6
Used by HA-LCA-01 - gallier-quaintance-hilbert-20170310
Used by HA-LCA-PRE-HILBERT - fremlin-mt2-2016-244
Used by HA-LCA-05, HA-LCA-08, HA-LCA-PRE-HILBERT - bekka-de-la-harpe-valette-author-KazhdanTotal
Used by HA-LCA-04, HA-LCA-05, HA-LCA-PRE-HILBERT, HA-LCA-PRE-NONABELIAN-HAAR - fremlin-mt4-2013-442
Used by HA-LCA-PRE-NONABELIAN-HAAR - vienna-afa-2023
Used by HA-LCA-PRE-DUAL-CONVEX - fremlin-mt2-2016-243
Used by HA-LCA-PRE-DUAL-CONVEX - nelson-eth-representation-notes-2019
Used by HA-LCA-05 - tao-245c-interpolation-20090330
Used by HA-LCA-08 - fremlin-mt4-2013-4a5
Used by HA-LCA-09 - candel-csun-topology-262
Used by HA-LCA-09 - dikranjan-itg
Used by HA-LCA-10, HA-LCA-12, HA-LCA-17 - conrad-characterQ
Used by HA-LCA-10, HA-LCA-11 - salmi-idempotent-1209.0314v1
Used by HA-LCA-10 - applebaum-poisson-1602.01252v2
Used by HA-LCA-11 - applebaum-poisson-corrigendum
Used by HA-LCA-11 - vienna-sip-2012
Used by HA-LCA-11 - neeb-unitary-representations-20100602
Used by HA-LCA-13 - lurie-261y-lecture5
Used by HA-LCA-13 - teschl-schroe2-author-online
Used by HA-LCA-13 - shu-wiener-1974
Used by HA-LCA-14, HA-LCA-15 - fulsche-luef-werner-2405.08678v2
Used by HA-LCA-15 - malliavin-1959-numdam
Used by HA-LCA-15 - schwartz-1951-synthesis-free-journal
Used by HA-LCA-15 - melrose-18102-sp16-ch1
Used by HA-LCA-15 - davalo-flechelles-20180706
Used by HA-LCA-16 - spitters-cs0512009v3
Used by HA-LCA-16 - igusa-tifr59
Used by HA-LCA-17 - bell-profinite-2017
Used by HA-LCA-17 - burgos-verjovsky-1603.05676v1
Used by HA-LCA-17
Version hashes and actual reading scope.