Mathematics · proofs · software

Special Functions · Lean source

CoupledGermInverseAudit.lean

Selected results recorded Coverage and evidence

Compiler/replay evidence is reported for a subset or bounded block. No whole-work coverage is implied.

This viewer reads the retained source; it does not run Lean or assign new claim mappings.

Local imports (1)

CoupledGermInverseAudit.lean15 lines

Original source pathlean/CoupledGermInverseAudit.lean

Skip source text

1 import CoupledGermInverse
2 
3 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.denseOdd_odd
4 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.denseOdd_even
5 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.odd_hasSum_dense
6 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.odd_series_hasFPowerSeriesAt
7 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.odd_coefficients_eq_of_germ_eq
8 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.odd_series_Taylor_coefficients
9 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.coupled_hasFPowerSeriesAt
10 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.coefficients_eq_of_analytic_germs
11 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.sameJet_of_analytic_germs
12 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.parameters_of_analytic_germs
13 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.parameters_of_entire_pair_eq
14 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.analytic_solution_Taylor_coefficients
15 #print axioms Komorebi.SpecialFunctions.Coupled.Scales.parameters_of_shared_solution_germ

Back to source controls

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: fd14f78ea526cb4eab5e57f4f7a64c95161c14299b145be811b2ccb20e1ca6db

Original source on GitHub

Back to Special Functions