Theorem IsCyclic.image_range_card

Modification history