Theorem HolorIndex.take_take

Modification history