https://n-yamaguchi-0729.github.io/NYLL/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/completion-universal-property/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/free-pro-c-universal-property/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/open-subgroup-schreier-rank/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/fox-fundamental-formula/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/discrete-crowell-sequence/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/completed-crowell-sequence/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/weighted-golod-shafarevich/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/profinite-pontryagin-biduality/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/full-tate-module/https://n-yamaguchi-0729.github.io/NYLL/libraries/pro-c-groups/recognizing-profinite-integers/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/finite-local-reciprocity/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/profinite-local-reciprocity/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/local-existence/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/finite-global-reciprocity/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/topological-global-reciprocity/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/hasse-arf/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/perfect-hilbert-pairing/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/hasse-norm/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/abelian-conductor/https://n-yamaguchi-0729.github.io/NYLL/libraries/class-field-theory/kronecker-weber/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/maximal-real-pro-p-extension/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/finite-layer-characterization/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/initial-group-five-generators/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/initial-minimal-presentation/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/deep-frobenius-sequence/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/infinite-frobenius-quotient/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/discriminant-bound/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/sawin-totally-real-tower/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/martinet-corollary/https://n-yamaguchi-0729.github.io/NYLL/libraries/sawin-totally-real-towers/shafarevich-relation-rank/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/etale-schemes-over-a-field/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/uniqueness-of-fiber-functors/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/surjectivity-criteria/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/arithmetic-exact-sequence/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/universal-homeomorphism-invariance/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/kummer-sequence/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/field-hilbert-90/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/finite-locally-constant-sheaves/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/closed-immersion-exact-pushforward/https://n-yamaguchi-0729.github.io/NYLL/libraries/etale-fundamental-groups-and-cohomology/proper-henselian-degree-zero/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/unpointed-jacobian/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/dimension-and-group/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/abel-jacobi/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/albanese-factorization/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/genus-one/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/torsion-cardinality/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/proper-h1/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/open-h1/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/abel-jacobi-tate/https://n-yamaguchi-0729.github.io/NYLL/libraries/jacobian-varieties/weil-pairing/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/ab-faithfulness/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/mixed-characteristic/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/higher-local-fields/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/integers-fundamental-group/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/boundary-condition/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/perfect-boundary-kernel/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/residual-extension/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/section-normal-crossings/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/intersection-length/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/dyadic-quadratic-quotient/https://n-yamaguchi-0729.github.io/NYLL/libraries/research-papers/seven-sections/https://n-yamaguchi-0729.github.io/NYLL/libraries/anabelian-geometry/https://n-yamaguchi-0729.github.io/NYLL/libraries/anabelian-geometry/proper-hyperbolic-slimness/https://n-yamaguchi-0729.github.io/NYLL/libraries/anabelian-geometry/open-hyperbolic-slimness/https://n-yamaguchi-0729.github.io/NYLL/libraries/anabelian-geometry/two-punctures/