Theorem Multipliable.of_finite

Modification history