Commit 2026-04-05 03:22 7281dc84

View on Github →

feat: Iic 2 = {0, 1, 2} (#37557)

Estimated changes

added theorem Order.Iic_one
added theorem Order.Iic_two
added theorem Order.Iio_one
added theorem Order.Iio_two