Theorem TopCat.GlueData.preimage_image_eq_image'

Modification history