Theorem DirectSum.IsInternal.isCompl

Modification history