Theorem Hollom.SpinalMap.not_apply_lt

Modification history