Theorem Filter.join_pure

Modification history