formulas
function define onto rightarrow show prove let state transcribed text solved answers
solved define transcribed text