Theorem max_rec

Modification history