List view

Create a mathcomp-classical opam package

wish 🙏Request for a specific mathematical resultRequest for a specific mathematical result

Status: Closed (completed).

#550 In math-comp/analysis;

· by affeldt-aist was closed on Oct 12, 2022

naming integral_sum

Status: Closed (completed).

#745 In math-comp/analysis;

· by affeldt-aist was closed on Nov 25, 2022

about pasting

Status: Closed (completed).

#746 In math-comp/analysis;

· by affeldt-aist was closed on Oct 7, 2022

homo prefix

Status: Closed (completed).

#778 In math-comp/analysis;

· by affeldt-aist was closed on Oct 20, 2022

seqDUE renaming

Status: Closed (completed).

#776 In math-comp/analysis;

· by affeldt-aist was closed on Oct 20, 2022

Subspace topology restrictions

Status: Merged (completed).

math-comp/analysisnumber 739

#739 In math-comp/analysis;

· by zstone1 was closed on Sep 15, 2022