Theorem finrank_euclideanSpace

Modification history