Theorem TietzeExtension.of_retract

Modification history