Theorem isGreatest_singleton

Modification history