Commit 2023-11-10 10:42 7a1bf932

View on Github →

chore: rename star_mul_self_nonneg' (#8305)

Estimated changes

added theorem mul_star_self_nonneg
deleted theorem star_mul_self_nonneg'