Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

mode name
-rw-r--r-- SUMMARY.md
-rw-r--r-- bi_topos.md
-rw-r--r-- geom_articles.md
-rw-r--r-- intro.md
-rw-r--r-- non_euclid.md
-rw-r--r-- quant_elim.md