File:Inductive proofs of properties of add, mult from recursive definitions svg.svg
Appearance

Size of this PNG preview of this SVG file: 529 × 600 pixels. Other resolutions: 212 × 240 pixels | 423 × 480 pixels | 677 × 768 pixels | 903 × 1,024 pixels | 1,806 × 2,048 pixels | 1,375 × 1,559 pixels.
Original file (SVG file, nominally 1,375 × 1,559 pixels, file size: 296 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 18:31, 6 April 2025 | ![]() | 1,375 × 1,559 (296 KB) | Jochen Burghardt | fixed typos |
13:51, 30 December 2013 | ![]() | 1,719 × 1,949 (306 KB) | Jochen Burghardt | User created page with UploadWizard |
File usage
The following page uses this file: