d to

Stream: new members

[Tobias Grosser]

I was suprised it worked. I wrote:

def Gaussian_elimination6 {α : Type v} [ordered_ring α]  :
   Π (m n), matrix (fin m) (fin n) α  → α
| (x+1) (y+1) A := A 0 0
| _ _ A := A 0 0