Theorem Set.MulAntidiagonal.finite_of_isPWO

Modification history