loki der quaeler
loki der quaeler
(It is generating those files)
@arminhupka change `distribute.py` to have this def: ``` def ObjectDistributeOscurart(self, X, Y, Z): if len(bpy.context.selected_objects) > 1: # VARIABLES selection = bpy.context.selected_objects dif = selection[-1].location - selection[0].location chunkglobal = dif...
Also true for the `le_one` proposed proof: ``` cases x with y left rfl rw [one_eq_succ_zero] at hx ⊢ apply succ_le_succ at hx apply le_zero at hx rw [hx] right...
It's the weirdest thing - i have a Dell U3821DW which i share between my personal mac mini m4 pro, running 15.5, and a MBP with an m4 pro running...