Theorem Set.infs_assoc

Modification history