Skip to content

[Add] Division properties for Nat, Integer, and Rational#2962

Draft
aortega0703 wants to merge 22 commits into
agda:masterfrom
aortega0703:division-properties
Draft

[Add] Division properties for Nat, Integer, and Rational#2962
aortega0703 wants to merge 22 commits into
agda:masterfrom
aortega0703:division-properties

Extract sn%d≡0⇒-[1+n]/ℕd≡-[1+n/d] into its own proof

877acc1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Haskell-CI - Linux - ghc-9.10.3
succeeded Jul 10, 2026 in 2m 41s