Theorem Prod.swap_supᵢ

Modification history