Add theorems for spectral spaces and introduce Stone spaces (#746) #2455

Triggered via push October 14, 2024 22:18

prabau

main

Status Success

Total duration 23s

Artifacts 1

compile.yml

on: push

Produced during runtime

Name	Size
bundle.json	143 KB