Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • test_skolem_ko
  • Subset
  • essais-8.18
  • pr_no_math-comp
  • released
  • PhD_HM_2024
  • 1.0
  • Bochner.1.0
  • Tonelli.1.0
  • LInt_p.1.0
11 results
Compare
user avatar
Add is_linear_mapping_ext lemma.
Mouhcine authored 
Prove is_linear_mapping_f_scal_l
	& comb_lin_linear_mapping_compat_l lemmas.
c1658422
History
user avatar c1658422
History
Name Last commit Last update