Description: Two ways to express
single-valuedness of a class expression
. Note that means is a singleton
(uniintsn3915). (Contributed by NM, 14-Dec-2012.)
(Proof modification is discouraged.) (New usage is
discouraged.)