Theorem AffineBasis.isUnit_toMatrix_iff

Modification history