Theorem Module.Finite.exists_fin

Modification history