search

metamath / set.mm

Metamath source file for logic and set theory
Other
246 stars 88 forks source link

finish intuitionizing "The natural logarithm on complex numbers" section #4056

Closed jkingdon closed 3 months ago

jkingdon commented 3 months ago

This is the rest of the ^c theorems. Some are intuitionized (where the base is a positive real), others are noted in mmil.html.