Commit 2024-12-18 17:43 ad5af7d0

View on Github →

feat(Complex): reProdIm lemmas (#19709) From FLT

Estimated changes

added theorem IsCompact.reProdIm
added def Complex.reProdIm
added theorem Complex.«exists»
added theorem Complex.«forall»