as_expression ============= .. currentmodule:: proveit .. autofunction:: as_expression