Theorem isLeast_pair

Modification history