• Mike Hibler's avatar
    Minor updates. · 47b58e2c
    Mike Hibler authored
    Get rid of subgroups as an unsupported feature, apparently it is.
    Add some text in the conversion section about doing an extension.
    47b58e2c
basic-concepts.scrbl 11 KB