Skip to content

An antiderivative built through an even root says where the root is real - #1431

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
radical-substitution-condition
Sep 21, 2026
Merged

Rafael-SOWNet merged 1 commit into
masterfrom
radical-substitution-condition