Theorem finrank_euclideanSpace_fin

Modification history