Theorem Cardinal.extend_function_finite

Modification history