Theorem Submonoid.LocalizationMap.sec_zero_fst

Modification history