Add helpful message when ProductManifold
is used without RAT.jl
#723
This job succeeded
Loading
ProductManifold
is used without RAT.jl
#723