Theorem Hollom.SpinalMap.not_lt_apply

Modification history