Theorem Prod.is_top_iff

Modification history