IReadOnlyList<Property> KrylovResidualNorm.Properties { get; }