simplify log squaroot of 2 base 7

I read that as

log7 √2

= log7 (2^(1/2) )
= (1/2) log7 2

or (1/2) log 2 / log 7