More C++14 conversions.
Add proof of constructability of left-identy by using inverse matrix.