Theorem IsMaxChain.image

Modification history