Theorem Q60596.Q'_apply_single

Modification history