Commit 2024-10-24 19:28 9d8ba939

View on Github →

feat: T2Space is Antitone (#18188)

Estimated changes

added theorem t2Space_antitone