Theorem HolorIndex.drop_take

Modification history