Theorem Module.Finite.of_isComplemented_domain

Modification history