Commit 2026-03-18 15:36 8bd4cb1c

View on Github →

feat: add IsUniformEmbedding.of_comp (#36771) Also deprecate IsUniformInducing.isUniformInducing_comp_iff in favor of the existing IsUniformInducing.of_comp_iff, which is a more standard name.

Estimated changes