Commit 2025-05-16 04:21 82462926

View on Github →

chore(Calculus): add Function.const versions of some lemmas (#24756) Rename fun _ ↦ c versions to fun_const.

Estimated changes