Theorem Hollom.SpinalMap.lt_apply_of_lt

Modification history