Theorem finite_powers

Modification history