Theorem Set.Subsingleton.isChain

Modification history