| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://leanprover-community.github.io/mathlib4_docs/
x-github-request-id: 0DC0:3655F2:9DCF25:B12319:695387E6
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 08:06:01 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210068-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767081961.177900,VS0,VE197
vary: Accept-Encoding
x-fastly-request-id: a13a600e9169765fa62b25c73149a7db684a13aa
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 30 Dec 2025 01:02:58 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"695324c2-6b7"
expires: Tue, 30 Dec 2025 08:16:01 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: CE73:2916CC:9DEF38:B14497:695387E9
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 08:06:01 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210068-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767081961.404071,VS0,VE201
vary: Accept-Encoding
x-fastly-request-id: 38115aeae69801a2b361817f16d9696ea6a1d4b1
content-length: 809
Index
Documentation
Index
Welcome to the documentation page
This was built using Lean 4 4.27.0-rc1