Theorem AffineBasis.surjective_coord

Modification history