Theorem lift_of_splits

Modification history