Theorem fg_of_ker_bot

Modification history