If `B` has an algebra type, its generic closure is finite free of rank the generic rank.

Initializing...

If `B` has an algebra type, its generic closure is finite free of rank the generic rank. · Prove2Me