Commit 2025-02-11 15:00 1691c37e

View on Github →

feat: add sq_nonpos_iff (#21691)

Estimated changes

added theorem sq_nonpos_iff