Theorem split_by_characteristic

Modification history