Theorem Hollom.SpinalMap.incomp_apply

Modification history