Theorem Q60596.Q'_apply

Modification history