Theorem AffineBasis.isUnit_toMatrix

Modification history