Theorem Filter.HasBasis.to_image_id

Modification history