Determinantal variety (source code)

= Determinantal variety
{wiki=Determinantal_variety}