feat: weaken assumptions on lemmas about FloorRing#37582
Open
mortarsanjaya wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat: weaken assumptions on lemmas about FloorRing#37582mortarsanjaya wants to merge 1 commit intoleanprover-community:masterfrom
FloorRing#37582mortarsanjaya wants to merge 1 commit intoleanprover-community:masterfrom
