Theorem max_rec'

Modification history