Commit 2024-02-22 18:08 6b92deac

View on Github →

feat: add IsUnit.mem_unitary_of_star_mul_self and protect some .star lemmas (#10855)

Estimated changes

deleted theorem IsUnit.star