@charset "UTF-8";.math-document[data-v-33ea74fc]{--bs-border-radius:0;position:relative;counter-reset:figure;line-height:1.7}.math-document[data-v-33ea74fc] .doccategories,.math-document[data-v-33ea74fc] .doctitle{display:none}.math-document[data-v-33ea74fc] .docsummary{font-style:italic;color:var(--bs-secondary)}.math-document[data-v-33ea74fc] .docname h1{display:flex;align-items:baseline;gap:.65rem}.math-document[data-v-33ea74fc] .docname h1 strong{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;flex:0 0 auto;font-size:1em}.math-document[data-v-33ea74fc] h2:not(.unnumbered){counter-increment:headline-2;counter-reset:headline-3 headline-4;display:flex;align-items:baseline;gap:.6rem}.math-document[data-v-33ea74fc] h2:not(.unnumbered):before{content:counter(headline-2,upper-roman) " – "}.math-document[data-v-33ea74fc] h3:not(.unnumbered){counter-increment:headline-3;counter-reset:headline-4}.math-document[data-v-33ea74fc] h3:not(.unnumbered):before{content:counter(headline-3) ". "}.math-document[data-v-33ea74fc] h4:not(.unnumbered){counter-increment:headline-4}.math-document[data-v-33ea74fc] h4:not(.unnumbered):before{content:counter(headline-4,lower-alpha) ". "}.math-document[data-v-33ea74fc] img{max-width:100%}.math-document[data-v-33ea74fc] table{background-color:#fff}.math-document[data-v-33ea74fc] table td{height:2.5em}.math-document[data-v-33ea74fc] figure figcaption{text-align:center;counter-increment:figure}.math-document[data-v-33ea74fc] figure figcaption:before{content:"Figure " counter(figure) ". ";font-weight:700}.math-document[data-v-33ea74fc] .property{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .property .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .property .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .property>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .property a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .property p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .property ol,.math-document[data-v-33ea74fc] .property ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .property ol li,.math-document[data-v-33ea74fc] .property ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .property ol li::marker,.math-document[data-v-33ea74fc] .property ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .property ol li>:only-child,.math-document[data-v-33ea74fc] .property ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .property ol li:last-child,.math-document[data-v-33ea74fc] .property ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .property{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .property:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .property:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .property>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .proposition{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .proposition .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .proposition .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .proposition>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proposition a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .proposition p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proposition ol,.math-document[data-v-33ea74fc] .proposition ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .proposition ol li,.math-document[data-v-33ea74fc] .proposition ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .proposition ol li::marker,.math-document[data-v-33ea74fc] .proposition ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .proposition ol li>:only-child,.math-document[data-v-33ea74fc] .proposition ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proposition ol li:last-child,.math-document[data-v-33ea74fc] .proposition ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proposition{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .proposition:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .proposition:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .proposition>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .lemma{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .lemma .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .lemma .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .lemma>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .lemma a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .lemma p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .lemma ol,.math-document[data-v-33ea74fc] .lemma ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .lemma ol li,.math-document[data-v-33ea74fc] .lemma ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .lemma ol li::marker,.math-document[data-v-33ea74fc] .lemma ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .lemma ol li>:only-child,.math-document[data-v-33ea74fc] .lemma ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .lemma ol li:last-child,.math-document[data-v-33ea74fc] .lemma ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .lemma{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .lemma:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .lemma:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .lemma>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .theorem{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .theorem .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .theorem .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .theorem>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .theorem a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .theorem p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .theorem ol,.math-document[data-v-33ea74fc] .theorem ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .theorem ol li,.math-document[data-v-33ea74fc] .theorem ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .theorem ol li::marker,.math-document[data-v-33ea74fc] .theorem ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .theorem ol li>:only-child,.math-document[data-v-33ea74fc] .theorem ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .theorem ol li:last-child,.math-document[data-v-33ea74fc] .theorem ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .theorem{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .theorem:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .theorem:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .theorem>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .corollary{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .corollary .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .corollary .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .corollary>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .corollary a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .corollary p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .corollary ol,.math-document[data-v-33ea74fc] .corollary ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .corollary ol li,.math-document[data-v-33ea74fc] .corollary ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .corollary ol li::marker,.math-document[data-v-33ea74fc] .corollary ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .corollary ol li>:only-child,.math-document[data-v-33ea74fc] .corollary ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .corollary ol li:last-child,.math-document[data-v-33ea74fc] .corollary ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .corollary{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .corollary:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .corollary:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .corollary>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .definition{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .definition .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .definition .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .definition>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .definition a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .definition p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .definition ol,.math-document[data-v-33ea74fc] .definition ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .definition ol li,.math-document[data-v-33ea74fc] .definition ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .definition ol li::marker,.math-document[data-v-33ea74fc] .definition ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .definition ol li>:only-child,.math-document[data-v-33ea74fc] .definition ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .definition ol li:last-child,.math-document[data-v-33ea74fc] .definition ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .definition{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .definition:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .definition:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .definition>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .application{width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .application .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .application .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .application>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .application a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .application p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .application ol,.math-document[data-v-33ea74fc] .application ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .application ol li,.math-document[data-v-33ea74fc] .application ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .application ol li::marker,.math-document[data-v-33ea74fc] .application ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .application ol li>:only-child,.math-document[data-v-33ea74fc] .application ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .application ol li:last-child,.math-document[data-v-33ea74fc] .application ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .application{border-radius:var(--bs-border-radius);padding:2rem 1.25rem 1rem;position:relative;background-color:#e9ecef;transition:background-color .2s ease-in-out}.math-document[data-v-33ea74fc] .application:hover{background-color:#f2f4f6}.math-document[data-v-33ea74fc] .application:before{position:absolute;top:-1px;bottom:-1px;left:-1px;width:5px;border-radius:var(--bs-border-radius) 0 0 var(--bs-border-radius);background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .application>.environment-label{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums;position:absolute;top:-1px;left:-1px}.math-document[data-v-33ea74fc] .notation{position:relative;width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .notation .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .notation .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .notation>.environment-label{font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .notation>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .notation a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .notation p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .notation ol,.math-document[data-v-33ea74fc] .notation ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .notation ol li,.math-document[data-v-33ea74fc] .notation ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .notation ol li::marker,.math-document[data-v-33ea74fc] .notation ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .notation ol li>:only-child,.math-document[data-v-33ea74fc] .notation ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .notation ol li:last-child,.math-document[data-v-33ea74fc] .notation ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .notation{border-left:2px solid var(--bs-dark);padding:0 1rem .85rem 1.15rem}.math-document[data-v-33ea74fc] .notation:before{position:absolute;left:-4px;width:7px;height:7px;border-radius:50%;background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .notation>.environment-label{color:var(--bs-dark);font-family:var(--bs-heading-font-family),sans-serif;font-size:.8rem;text-transform:uppercase}.math-document[data-v-33ea74fc] .notation>.environment-label:after{content:". "}.math-document[data-v-33ea74fc] .example{position:relative;width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .example .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .example .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .example>.environment-label{font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .example>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .example a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .example p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .example ol,.math-document[data-v-33ea74fc] .example ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .example ol li,.math-document[data-v-33ea74fc] .example ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .example ol li::marker,.math-document[data-v-33ea74fc] .example ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .example ol li>:only-child,.math-document[data-v-33ea74fc] .example ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .example ol li:last-child,.math-document[data-v-33ea74fc] .example ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .example{border-left:2px solid var(--bs-dark);padding:0 1rem .85rem 1.15rem}.math-document[data-v-33ea74fc] .example:before{position:absolute;left:-4px;width:7px;height:7px;border-radius:50%;background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .example>.environment-label{color:var(--bs-dark);font-family:var(--bs-heading-font-family),sans-serif;font-size:.8rem;text-transform:uppercase}.math-document[data-v-33ea74fc] .example>.environment-label:after{content:". "}.math-document[data-v-33ea74fc] .cexample{position:relative;width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .cexample .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .cexample .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .cexample>.environment-label{font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .cexample>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .cexample a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .cexample p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .cexample ol,.math-document[data-v-33ea74fc] .cexample ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .cexample ol li,.math-document[data-v-33ea74fc] .cexample ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .cexample ol li::marker,.math-document[data-v-33ea74fc] .cexample ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .cexample ol li>:only-child,.math-document[data-v-33ea74fc] .cexample ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .cexample ol li:last-child,.math-document[data-v-33ea74fc] .cexample ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .cexample{border-left:2px solid var(--bs-dark);padding:0 1rem .85rem 1.15rem}.math-document[data-v-33ea74fc] .cexample:before{position:absolute;left:-4px;width:7px;height:7px;border-radius:50%;background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .cexample>.environment-label{color:var(--bs-dark);font-family:var(--bs-heading-font-family),sans-serif;font-size:.8rem;text-transform:uppercase}.math-document[data-v-33ea74fc] .cexample>.environment-label:after{content:". "}.math-document[data-v-33ea74fc] .remark{position:relative;width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .remark .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .remark .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .remark>.environment-label{font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .remark>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .remark a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .remark p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .remark ol,.math-document[data-v-33ea74fc] .remark ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .remark ol li,.math-document[data-v-33ea74fc] .remark ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .remark ol li::marker,.math-document[data-v-33ea74fc] .remark ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .remark ol li>:only-child,.math-document[data-v-33ea74fc] .remark ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .remark ol li:last-child,.math-document[data-v-33ea74fc] .remark ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .remark{border-left:2px solid var(--bs-dark);padding:0 1rem .85rem 1.15rem}.math-document[data-v-33ea74fc] .remark:before{position:absolute;left:-4px;width:7px;height:7px;border-radius:50%;background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .remark>.environment-label{color:var(--bs-dark);font-family:var(--bs-heading-font-family),sans-serif;font-size:.8rem;text-transform:uppercase}.math-document[data-v-33ea74fc] .remark>.environment-label:after{content:". "}.math-document[data-v-33ea74fc] .algorithm{position:relative;width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .algorithm .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .algorithm .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .algorithm>.environment-label{font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .algorithm>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .algorithm a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .algorithm p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .algorithm ol,.math-document[data-v-33ea74fc] .algorithm ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .algorithm ol li,.math-document[data-v-33ea74fc] .algorithm ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .algorithm ol li::marker,.math-document[data-v-33ea74fc] .algorithm ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .algorithm ol li>:only-child,.math-document[data-v-33ea74fc] .algorithm ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .algorithm ol li:last-child,.math-document[data-v-33ea74fc] .algorithm ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .algorithm{border-left:2px solid var(--bs-dark);padding:0 1rem .85rem 1.15rem}.math-document[data-v-33ea74fc] .algorithm:before{position:absolute;left:-4px;width:7px;height:7px;border-radius:50%;background-color:var(--bs-dark);content:""}.math-document[data-v-33ea74fc] .algorithm>.environment-label{color:var(--bs-dark);font-family:var(--bs-heading-font-family),sans-serif;font-size:.8rem;text-transform:uppercase}.math-document[data-v-33ea74fc] .algorithm>.environment-label:after{content:". "}.math-document[data-v-33ea74fc] details{margin:1rem 0 1.35rem}.math-document[data-v-33ea74fc] details summary::marker{content:"> "}.math-document[data-v-33ea74fc] details[open]{padding-bottom:.1rem}.math-document[data-v-33ea74fc] details[open] .proof-label::marker{content:"⌄ "}.math-document[data-v-33ea74fc] .devlink>a:before{content:"> "}.math-document[data-v-33ea74fc] .devlink>a,.math-document[data-v-33ea74fc] .proof-label{float:left;font-family:var(--bs-font-sans-serif),sans-serif;color:var(--bs-secondary);text-decoration:none!important;font-size:.8em}.math-document[data-v-33ea74fc] .proof{position:relative;width:100%;margin:1.5rem 0}.math-document[data-v-33ea74fc] .proof .environment-title{display:block;font-family:var(--bs-font-sans-serif),sans-serif;font-weight:700;font-variant-numeric:lining-nums;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .proof .environment-title:after{content:"."}.math-document[data-v-33ea74fc] .proof>.environment-label{font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .proof>:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proof a{color:var(--bs-dark)!important;font-weight:700}.math-document[data-v-33ea74fc] .proof p>.katex-display:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proof ol,.math-document[data-v-33ea74fc] .proof ul{padding-left:1.5rem;margin-bottom:1rem}.math-document[data-v-33ea74fc] .proof ol li,.math-document[data-v-33ea74fc] .proof ul li{padding-left:1rem;margin-bottom:.25rem}.math-document[data-v-33ea74fc] .proof ol li::marker,.math-document[data-v-33ea74fc] .proof ul li::marker{font-weight:700}.math-document[data-v-33ea74fc] .proof ol li>:only-child,.math-document[data-v-33ea74fc] .proof ul li>:only-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proof ol li:last-child,.math-document[data-v-33ea74fc] .proof ul li:last-child{margin-bottom:0}.math-document[data-v-33ea74fc] .proof{border-left:2px solid hsla(0,0%,9%,.2);padding:.45rem 0 .1rem 1rem;color:#171717d1;transition:color .2s ease-in-out,border-color .2s ease-in-out}.math-document[data-v-33ea74fc] .proof:hover{border-color:#1717174d;color:var(--bs-body-color)}.math-document[data-v-33ea74fc] .bookref{font-family:var(--bs-font-sans-serif),sans-serif}.math-document[data-v-33ea74fc] .bookref.book>:first-child strong{display:inline-block;border-radius:var(--bs-border-radius);background-color:var(--bs-dark);color:#fff;font-family:var(--bs-font-sans-serif),sans-serif;font-size:.75rem;line-height:1;letter-spacing:0;text-transform:uppercase;padding:.45rem .6rem;font-variant-numeric:lining-nums}.math-document[data-v-33ea74fc] .bookref>:first-child{position:absolute;text-align:center;padding:7.5px;margin-left:10px;font-size:.75em;text-decoration:none!important;color:#000;transform:translate(calc(100% + 15px))}.math-document[data-v-33ea74fc] .bookref p{margin-bottom:0}.math-document[data-v-33ea74fc] ol{counter-reset:ol;padding-left:0}.math-document[data-v-33ea74fc] ol>li{list-style:none;counter-increment:ol;padding-left:0}.math-document[data-v-33ea74fc] ol>li::marker{content:"(" counter(ol,lower-roman) ") "}.math-document[data-v-33ea74fc] ol.safari-ol-fix{padding-left:0}.math-document[data-v-33ea74fc] ol.safari-ol-fix .safari-li-fix{display:flex}.math-document[data-v-33ea74fc] ol.safari-ol-fix .safari-li-fix>:not(.safari-marker){flex:1}.math-document[data-v-33ea74fc] ol.safari-ol-fix .safari-li-fix .safari-marker{display:inline-block;text-align:right;padding-right:.3rem;min-width:2rem}.math-document[data-v-33ea74fc] .center{text-align:center}