Theorem Finset.forall_infs_iff

Modification history