Commit 2024-08-30 13:02 793502fb

View on Github →

chore(Probability/Kernel): initialize_simps_projections (#15442) Move initialize_simps_projections few lines down so that simps uses FunLike.coe instead of CoeFn.coeFn. Add Kernel.coe_mk.

Estimated changes