Theorem Fintype.bilinearCombination_apply

Modification history