ssreflect - Quotient of vector spaces

Subject: Ssreflect Users Discussion List

List archive

Quotient of vector spaces

From: Jónathan Heras <>
To: ssreflect <>
Subject: Quotient of vector spaces
Date: Mon, 12 Sep 2011 17:30:26 +0200

Does anyone know if the definition of quotient of vector spaces has
been defined in the current distribution of SSReflect?

I was looking it, and I almost sure that it was not defined, but
could anyone confirm me that?

Thank you in advance.

Jónathan.

Quotient of vector spaces, Jónathan Heras, 09/12/2011
- RE: Quotient of vector spaces, Georges Gonthier, 09/12/2011
  - Re: Quotient of vector spaces, Jónathan Heras, 09/12/2011

List archive

Quotient of vector spaces