# Proving solutions of an ODE of the form y''+by'+cy=0

by nemma14778
Tags: axiom, differential eqn, ode, vector spaces