Theorem ChainClosure.total

Modification history