Theorem adicCompletion.of_apply

Modification history