Theorem mabs_cases

Modification history