Theorem unique_iff_existsUnique

Modification history