Theorem Filter.principal_bind

Modification history