Use demoivreALT for Metamath 100 # 17; fixes #1161
Use demoivreALT for Metamath 100 # 17; fixes #1161

Use demoivreALT, not demoivre, for Metamath 100 # 17.

If this commit is accepted, I will change the
Google docs document to match.  It does not require
Freek to make any changes.

Signed-off-by: David A. Wheeler <9ae72d22d8b894b865a7a496af4fab6320e6abb2@dwheeler.com>

metamath/set.mm,metamath/set.mm,metamath/set.mm