GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

document the ordering on R[i] (complex.lec and complexltc)

#75

· t6s opened

on May 22, 2025

R[i] is now canonical to lmodType R by default

#57

· Magikaaarp opened

on Feb 27, 2024

release/update for mathcomp 1.16

#53

· clayrat opened

on Feb 10, 2023

Ugly computations with complex numbers

#44

· SnarkBoojum opened

on May 17, 2022

More lemmas about complex numbers: Re and Im intertwining with * and ^*.

#43

· SnarkBoojum opened

on May 17, 2022

Replacing (fun x => ...^~x) by the more readable [rel x y | ... y x] breaks real closed

#37

· hivert opened

on Oct 15, 2021

0