Commit 2025-10-06 07:59 7039b578
View on Github →chore: make Opposite.small an instance (#30159)
If X is small, so is Xᵒᵖ. It no longer seems to be dangerous to have such an instance. (Which shall be convenient for #30160.)
chore: make Opposite.small an instance (#30159)
If X is small, so is Xᵒᵖ. It no longer seems to be dangerous to have such an instance. (Which shall be convenient for #30160.)