Theorem Function.minimalPeriod_le_card

Modification history