Theorem Module.length_of_free_of_finite

Modification history