Theorem Finsupp.antidiagonal_filter_snd_eq

Modification history