Theorem split_by_characteristic_domain

Modification history